<!--
function search_click( input ) {
  if ( input.className == "search_input_init" ){
    input.className = "";
    input.value = "";
  }
}

function nobr( str ){
  return str.replace(/<br[^>]*>/g, "" );
}

function nl2br( str ){
  return str.replace(/\n/g, "<br />\r" );
}

function htmlescape(str){
    str = str.replace(/&/g, "&amp;" );
    str = str.replace(/</g, "&lt;" );
    str = str.replace(/>/g, "&gt;" );
    return str;
}
function trim( str ) {
    return str.replace(/^\s+|\s+$/g, "");
} 
-->
