// JavaScript Document
{
	document.write("<form style='margin:0;' method='get' action='http://www.picosearch.com/cgi-bin/ts.pl'>");
}
{
	document.write("<input type='hidden' name='index' value='506350' /><input type='text' name='query' value='' size='20' />");
}
{
	document.write("<span style='white-space: nowrap;'>"); 
}
{
	document.write("<input type='submit' value='Search' name='search' /></span></form>")
	}