// JavaScript Document
function changeColor(thisItem)
{
	thisItem.style.backgroundColor = "#4d7171";
	thisItem.style.cursor = "pointer";
}

function restoreMenuItem(thisItem)
{
	thisItem.style.backgroundColor = "#003333";
}

function menuClick(url)
{
	document.location = url;
}