charset="utf-8"

/*____  htDig search CATALOG ONLY _____*/

document.write( '<form method="get" action="/cgi-bin/htsearch">\n' );
document.write( '<font size="-1"><b>Search catalog</b><br />\n' );
document.write( '<input type="text" size="12" name="words" value=""><br />\n' );
document.write( '<input type="image" src="/htdig/btn-searchgotrans.gif" value="Search" border="0" align="absmiddle">\n' );
document.write( '<input type="hidden" name="restrict" value="/catalog/">\n' );
document.write( '<input type="hidden" name="config" value="htdig">\n' );
document.write( '<input type="hidden" name="exclude" value="">\n' );
document.write( '<input type="hidden" name="format" value="long">\n' );
document.write( '<input type="hidden" name="sort" value="score">\n' );
document.write( '<input type="hidden" name="htsearch" value="1">\n' );
document.write( '</font></form>\n' );