<!--  
//
// nav
//

var navstr = "";

navstr  ="<div style=\"position: absolute; top: 10px; left: 370px; margin: 0px;\">";
navstr  +="<a href=\"../../index.html\" class=\"top\">Home</a> | <a href=\"../../gen/directions.html\" class=\"top\" id=\"dire\">Directions</a> | <a href=\"../../gen/index.html\" class=\"top\" id=\"cont\">Contact Info</a> | <span class=\"top bld\">Search</span> &nbsp;<input type=\"text\" name=\"query\" size=\"15\" class=\"search\" /> <input type=\"submit\" class=\"searchbtn\" value=\"Go\" name=\"search\" />";
navstr  +="</div>";

document.write(navstr);
// -->