// logo and search

var navstr = "";

$navStr  = "<div class=\"logo\"><img src=\"..\/..\/images\/logo2.gif\" width=\"292\" height=\"65\" alt=\"\" border=\"0\" \/><\/div>";
$navStr += "<div class=\"search gray\">";
$navStr += "<!-- begin picosearch query box --> ";
$navStr += "<form method=\"post\" action=\"http:\/\/search.ajh.org\/cgi-bin\/ts.pl\">";
$navStr += "<input type=\"hidden\" name=\"index\" value=\"303474\" \/>";
$navStr += "<!-- end picosearch query box -->";
$navStr += "SEARCH <input type=\"text\" name=\"query\" size=\"12\" class=\"field\" \/> <input type=\"image\" src=\"..\/..\/images\/nav\/graymarks2.gif\" alt=\"\" border=\"0\" class=\"navimg\" value=\"Search\" name=\"SEARCH\" \/>";
$navStr += "<\/form><\/div>";

document.write( $navStr );

//-->