<SCRIPT language="JavaScript">
<!--
function srchnow(fm)
{
var http;
var sterms="";
var j=0;
var k;
var l;
var engvar;
var tmp=fm.terms.value;
k=tmp.length;
for (j=0;j<k;j++)
{
if (tmp.charAt(j)==" ")
{
sterms+="+";
}
else
{
sterms+=tmp.charAt(j);
}
}
window.open("http://www.altavista.digital.com/cgi-bin/query?pg=q&what=web&fmt=.&q="+sterms,"altavista");