document.write('<td width="150" valign="top"><font size="2" face="Verdana, Arial, Helvetica, sans-serif"><form style="display: inline" id=searchform name=searchform method=post action="/htdigbin/htsearch"><input type=hidden name=match value=and><input type=hidden name=format value=builtin-long><input type=hidden name=sort value=score><input type="hidden" name="config" value="htdig"><input type="hidden" name="restrict" value=""><input type="hidden" name="exclude" value=""><input type=text name=words></font></td><td width="47" valign="top"><font size="2" face="Verdana, Arial, Helvetica, sans-serif"><a href="javascript:void(document.searchform.submit())"><img src="/images/go2.gif" width=26 height=25 alt="Go" border=0></a></form></td>');