if(navigator.userAgent.toLowerCase().indexOf("gecko")!=-1){function setPageHeight(){document.getElementById("page").style.height="100%";document.getElementById("page").style.height=document.documentElement.scrollHeight+"px"}AddToInitArray(setPageHeight);window.onresize=setPageHeight}function fnSearchEnter(b){var a;if(window.event){a=window.event.keyCode}else{if(b){a=b.which}else{return true}}if(a==13){return goSearch()}return true}function goSearch(){var a=document.getElementById("q2").value;location.href="/cgi/search.cgi?site="+site+";q="+encodeURIComponent(a);return false};