document.write('<div id="layer3" style="width:217px; height:88px; position:absolute; left:176px; top:48px; z-index:10;">');
document.write('<form name="form1" ACTION="/cgi-bin/searching.pl" METHOD="get">');
document.write('<p>&nbsp;<span style="font-size:8pt;"><font face="Verdana" color="black"><b>Search</b>'); 
document.write('&nbsp</span></font><input type="text" name="query" size="14" style="font-family:Verdana; font-size:10; color:black; border-color:rgb(0,153,0); border-style:groove;">'); 
document.write('<INPUT TYPE="Hidden" NAME="stpos" VALUE="0">');
document.write('&nbsp<input type="image" src="/loupe.gif" align="middle" width="13" height="19" border="0">');
document.write('</FORM>');
document.write('&nbsp;&nbsp;</p>');
document.write('<p style="line-height:100%; margin-top:0; margin-bottom:0;">&nbsp;</p>');
document.write('</div>');