// JavaScript Document
function global_nav_showHideMenu()
{
var menu = document.getElementById('global_nav_menu');
var current = menu.style.visibility;
var newValue = '';
if (current == 'visible')
{
newValue = 'hidden';
}
else
{
newValue = 'visible'
}
menu.style.visibility = newValue;
}
function global_nav_hideMenu()
{
var menu = document.getElementById('global_nav_menu');
menu.style.visibility = 'hidden';
}
document.write(' ');