function menu(num)
{
 if(document.getElementById('menu'+num).style.display=='') document.getElementById('menu'+num).style.display='none'; else document.getElementById('menu'+num).style.display='';
}

function showhide(id)
{
 if(document.getElementById(id).style.display=='') document.getElementById(id).style.display='none'; else document.getElementById(id).style.display='';
}