if(/Firefox[\/\s](\d+\.\d+)/.test(navigator.userAgent)){var ff=new Number(RegExp.$1);if(ff>=3.6){document.getElementById("searchform").style.paddingTop="0px"}};