function updateNavigation() {
	/*
		function to set the navbar colored image
		so when you are on the about page
		the about button is always gold.
	*/
	var currentPage;
	var currentButton;
	//alert(location.href.split("/")[3]);
	currentPage = location.href.split("/")[3];
	
	if(currentPage == "index.html") {
		currentButton = document.getElementById("home");
		currentButton.src = currentButton.src.split("_")[0] + "_gold.jpg";
	}
	
	if(currentPage == "about.html") {
		currentButton = document.getElementById("about");
		currentButton.src = currentButton.src.split("_")[0] + "_gold.jpg";
	}
	
	if(currentPage.substring(7,0) == "markets" ) {
		currentButton = document.getElementById("markets");
		currentButton.src = currentButton.src.split("_")[0] + "_gold.jpg";
	}
	
	if(currentPage.substring(9,0) == "solutions"  ) {
		currentButton = document.getElementById("solutions");
		currentButton.src = currentButton.src.split("_")[0] + "_gold.jpg";
	}
	
	if(currentPage == "clients.html"  ) {
		currentButton = document.getElementById("clients");
		currentButton.src = currentButton.src.split("_")[0] + "_gold.jpg";
	}
	
	if(currentPage == "partners.html"  ) {
		currentButton = document.getElementById("partners");
		currentButton.src = currentButton.src.split("_")[0] + "_gold.jpg";
	}
	
	if(currentPage == "contactUs.html"  ) {
		currentButton = document.getElementById("contact");
		currentButton.src = currentButton.src.split("_")[0] + "_gold.jpg";
	}
		
	
}

/*-- hover over color change --*/
var lastColor;
/* 
	This function changes the color
	of the image element that is passed in
	
	xxxx_grey changes to xxx_gold and vice versa
*/	
function highlightButton(imgElement) {
	
	//alert(imgElement.src.split("_"));
	lastColor = imgElement.src;
	imgElement.src = imgElement.src.split("_")[0] + "_gold.jpg";
}

/*
	Returns the buttons to their original state.
*/
function unHighlightButton(imgElement)
{
	imgElement.src = lastColor;
}


/*-- Hove over menu stuff --*/
var mouseInMenu = false;
function showMenu(pstrMenuID) {
	var menuElement;
	menuElement = document.getElementById(pstrMenuID);
	menuElement.style.visibility="visible";
	menuElement.visible=true;
}

function hideMenu(pstrMenuID) {
	var menuElement;
	menuElement = document.getElementById(pstrMenuID);
	//alert('about to hide menu: ' + pstrMenuID);
	if (mouseInMenu) {
		//don't hide
	}else {
		menuElement.style.visibility="hidden";
		menuElement.visible=false;
	}
	
}

function setMouseInMenu(blnInMenu) {
	mouseInMenu = blnInMenu;
}

function slowHide(id) {
	setTimeout("hideMenu('" + id + "')", 100);
}

function switchImage(element, strImage) {
	element.src="images/" + strImage
}