function hover(elementNumber)
{
	document.getElementById("menu" + elementNumber).className = "menuHover";
	document.getElementById("menuItemName" + elementNumber).className = "menuHover";
	document.getElementById("imgmenu" + elementNumber).src = arrowWhiteImage.src;
}

function hover_off(elementNumber)
{	
	document.getElementById("menu" + elementNumber).className = "menuRes";
	document.getElementById("menuItemName" + elementNumber).className = "menuRes";
	document.getElementById("imgmenu" + elementNumber).src = arrowImage.src;
}
function hover_offSecondary(elementNumber)
{
	document.getElementById("menu" + elementNumber).className = "menuResSecondary";
	document.getElementById("menuItemName" + elementNumber).className = "menuResSecondary";
	document.getElementById("imgmenu" + elementNumber).src = arrowImage.src;
}
function clearSearchBox()
{
		
	if (document.searchForm.searchPhrase.value==document.searchForm.searchText.value)
	{
		document.searchForm.searchPhrase.value='';
	}
}