// Allows the navigation bar to function



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




function hidemenu(elmnt)

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