var mytimer1,lastshown,lastmenu,timetohide=500;
function bodyload()
 	{document.getElementById('allTop').style.visibility='visible';
 	 lastshown='menu01';
	 lastmenu=new Image();
	}	
function myhide(ele)
	{mytimer1=setTimeout('hidemenu()',timetohide);}
function hidemenu()
  {
  // swapimage(lastmenu,0);
   document.getElementById(lastshown).style.visibility='hidden';
  }
function myshow(ele)
	{
	 if (lastshown) 
	    {
			 clearTimeout(mytimer1); 
			 hidemenu();
		}
	 lastshown=ele;
	 document.getElementById(ele).style.visibility='visible';
	}