function navButtonHover(thisButton) {
	thisButton.className = "buttonHover";
}
function navButtonReset(thisButton) {
	thisButton.className = "buttonDefault";
}
function navButtonLink(loc) {
	if (loc == "home") { window.location = "/index.jsp"; }
	if (loc == "about") { window.location = "/aboutus/index.jsp"; }
	if (loc == "prod") { window.location = "/prodserv/index.jsp"; }
	if (loc == "proj") { window.location = "/recentprojects/index.jsp"; }
	if (loc == "employment") { window.location = "/employment/index.jsp"; }
	if (loc == "contact") { window.location = "/contactus/index.jsp"; }
}