function menu_start_timeout(hidetimeout)
{
  hidemenutimer = setTimeout("menu_hide_menus()", hidetimeout);	
}