//fix for IE hover issue
sfh = function(){var sfE = document.getElementById("nav").getElementsByTagName("LI"); for (var i=sfE.length-1; i >= 0; i--) {sfE[i].onmouseover=function() { this.className+=" sfh"; }; sfE[i].onmouseout=function() { this.className=this.className.replace(new RegExp(" sfh\\b"), ""); }; }}; if (window.attachEvent) window.attachEvent("onload", sfh);

function dosearch()
	{
	var url;
	var query;
	url='http://search.searchtechnologies.com:8080/SearchResults/Searchresults.jsp?offset=0&';
	query=document.getElementById("textfield").value;
	if(query=='')
		alert("you must enter a search word or phrase");
	else
		document.location.href=url+'textfield='+query;
	}
	
function keyboardSearch(e)
	{
	if(window.event) // IE
		{				
		keynum = e.keyCode;
		if(keynum==13)
			{
			event.returnValue=false;
			event.cancel=true;
			dosearch();
			}
		else
			return true;
		}
	else if(e.which) // Netscape/Firefox/Opera
		{
		keynum = e.which;
		if(keynum==13)
			{
			dosearch();
			return false;
			}
		}
	}