function showmenu(elmnt)
{
document.getElementById(elmnt).style.visibility="visible"
document.getElementById(elmnt).style.display="inline"
}

function hidemenu(elmnt)
{
document.getElementById(elmnt).style.visibility="hidden"
document.getElementById(elmnt).style.display="none"
}

function sidemenumouseover(elmnt)
{
document.getElementById(elmnt).style.visibility="visible"
}

function sidemenumouseout(elmnt)
{
document.getElementById(elmnt).style.visibility="hidden"
}