function showmenu(header1)
{
document.getElementById(header1).style.visibility="visible"
}
function hidemenu(header1)
{
document.getElementById(header1).style.visibility="hidden"
}