/* search box */
ns = (document.layers)? 1:0;
ns6 = (document.getElementById)? 1:0;
ie = (document.all)? 1:0;

function doSearchBox() {
 if (ie) {
   document.write("<input type=text name=query size=12 class=fieldbackground>");
 }
 else if (ns) {
   document.write("<input type=text name=query size=8 class=fieldbackground>");
 }
 else{
   document.write("<input type=text name=query size=16 class=fieldbackground>");
 }
 
 }