<!--The following script tag (as it is) should strictly go just before </body> tag of your web page-->
MENU_POS['block_top'][0]=document.getElementById('holdmenu').offsetTop;
new menu (MENU_ITEMS, MENU_POS, MENU_STYLES)

