/* showmenu.js */
/* Created on: 01/31/2009-KO */
/* Added to explicitly show Menu vs toggleMenu in clmenu.js */
/* Last Modified: 05/22/2009-KO */
/*	Added hideMenu to enable explicit hide */
<!-- Begin
function showMenu(elmnt)
{
document.getElementById(elmnt).style.display="block";
}
function hideMenu(elmnt)
{
document.getElementById(elmnt).style.display="none";
}
//  End -->