function trim(A){return A.replace(/^\s*/,"").replace(/\s*$/,"")}function changeSearch(C){var B=document.getElementById("search").getElementsByTagName("FORM");for(var A=0;A<B.length;A++){B[A].style.display="none"}var B=document.getElementById("search_menu").getElementsByTagName("A");for(var A=0;A<B.length;A++){B[A].className=""}document.getElementById(C+"-form").style.display="block";document.getElementById(C).className="active"};