function showmenu()
{
if(document.getElementById)
document.getElementById("menu").style.visibility = 'visible';
}

function closemenu()
{
if(document.getElementById)
document.getElementById("menu").style.visibility = 'hidden';
}