function menushow(menu) 
{
menu.style.visibility='visible';
}
function menuhide(menu)
{
menu.style.visibility='hidden';
}