function menuclear()
{ if (event.toElement.tagName!="FONT")
   {
      menu1.style.display='none';         
   }
}
function hide()
{menu1.style.display='none';}