// Display the navigation menu
// on Mouseover
function display(show)
{
	document.getElementById(show).style.display="block";
}

// Remove the navigation menu
// on Mouseout
function remove(show)
{
	document.getElementById(show).style.display="none";
}

// Change the navigation icon to the alternate graphic
// on Mouseover
function blinker_new(show)
{
	document.getElementById(show).src="images/blinker10.jpg";
}

// Change the navigation icon to the original graphic
// on Mouseout
function blinker_old(show)
{
	document.getElementById(show).src="images/blinker12.jpg";
}