// JavaScript Document
// Google Search Box - Javascript Version

    document.write("<div id='JSGoogleSearch'>");
    document.write("<form id='searchbox_015854219477187121418:okdszcryez0' action='/search/'>");
      document.write("<div id='search'>");
        document.write("<input type='hidden' name='cx' value='015854219477187121418:okdszcryez0' />");
        document.write("<input type='hidden' name='cof' value='FORID:11' />");
        document.write("<label for='q' id='searchlabel'>Google Custom Search</label> <input name='q' id='q' type='text' size='20' />");
	    document.write("<input name='sa' type='submit' value='Search' />");    
      document.write("</div>");
    document.write("</form>");
    document.write("</div>");