function navMenu(){
	var navLinkTxtVal = document.getElementById("navLinkTxt").value;
	switch (navLinkTxtVal)
	{
	case "navLink_1":
		document.getElementById("ws_navLink1").className = "navSelected";
		break
	case "navLink_2":
		document.getElementById("ws_navLink2").className = "navSelected";
		break
	case "navLink_3":
		document.getElementById("ws_navLink3").className = "navSelected";
		break
	case "navLink_4":
		document.getElementById("ws_navLink4").className = "navSelected";
		break
	case "navLink_5":
		document.getElementById("ws_navLink5").className = "navSelected";
		break
	case "navLink_6":
		document.getElementById("ws_navLink6").className = "navSelected";
		break
	case "navLink_7":
		document.getElementById("ws_navLink7").className = "navSelected";
		break
	}
}
if (window.addEventListener) //DOM method for binding an event 
{
	window.addEventListener("load", function () {navMenu();}, false); 
}
else if (window.attachEvent) //IE exclusive method for binding an event 
{
	window.attachEvent('onload',function () {navMenu();});
}