function pause(numberMillis) {
        var now = new Date();
        var exitTime = now.getTime() + numberMillis;
        while (true) {
            now = new Date();
            if (now.getTime() > exitTime)
                return;
        }
    }
    
function init_menu() 
{
  v_top=document.getElementById("menuplacer").offsetTop-12;
  v_left=document.getElementById("menuplacer").offsetLeft;
}

function create_menu() 
{
  new menu (MENU_ITEMS1, MENU_POS1);
  new menu (MENU_ITEMS2, MENU_POS2);
  new menu (MENU_ITEMS3, MENU_POS3);
  new menu (MENU_ITEMS4, MENU_POS4);
  new menu (MENU_ITEMS5, MENU_POS5);
  new menu (MENU_ITEMS6, MENU_POS6);

}