function clearBox() {
	var objSearchBox = document.getElementById("s");
	var entireString = objSearchBox.value;

	if ((entireString.substring(0,16) == "Search this site") && (entireString.substring(0,17) != "Search this site ")) {
		//entireString.replace("Search this site", "");
		objSearchBox.value = entireString.replace("Search this site", "");
	}
}


function clearSearchBox() {
	
// get the object
var objSearchBox = document.getElementById("s");

	if (objSearchBox.value == 'Search this site ') {
		objSearchBox.value = '';
	}
}


function searchBoxBlur() {
	
// get the object
var objSearchBox = document.getElementById("s");

	if ((objSearchBox.value == '') || (objSearchBox.value == ' ')) {
		objSearchBox.value = 'Search this site ';
	}
}




/************************************
CHANGE THE CLASS OF A MENU
DEPENDING ON WHAT THE URL IS
************************************/

function setMenuClass() {
var anchorTags = document.getElementById("topmenu").getElementsByTagName("a");
for (var i = 0; i < anchorTags.length ; i++) {
   if (window.location.href == anchorTags[i].href) {
	   anchorTags[i].className = "topMenuCurrent";
   }
}
}