if (BrowserDetect.browser != "Explorer") {
function setPageHeight() {
        document.getElementById("page").style.height = "100%";
        var height = (document.documentElement ? document.documentElement : document.body).scrollHeight;
        if (height < document.body.scrollHeight) height = document.body.scrollHeight; // fix for safari which has documentElement, but that has only height of viewport
        document.getElementById("page").style.height = height+"px";
}
AddToInitArray(setPageHeight);
window.onresize = setPageHeight;
}

function fnSearchEnter(e) {
	var keycode;
	if (window.event) {
		keycode = window.event.keyCode;
	} else if (e) {
		keycode = e.which;
	} else {
		return true;
	}
	if (keycode == 13) {
		return goSearch();
	}
	return true;
}
function goSearch() {
	if (gSite) {
		var q = document.getElementById("q2").value;
		location.href = "/cgi/search.cgi?site="+gSite+";q="+encodeURIComponent(q);
	}
	return false;
}