// this script determines the client browser and includes the appropriate search code

var searchstring = "";
var searchBGColor = "#29527c";

if (is.ie) {
	var searchTop = "70";
	var searchLeft = "581";
	document.write('<script language="JavaScript" src="global/search_ie_display.js"></script>');
}
else {
	var searchTop = "70";
	var searchLeft = "574";
	document.write('<script language="JavaScript" src="global/search_n4_display.js"></script>');
}