<!--
var site = "http://web.mit.edu/~tsmit/www"
function setSiteToSearch(aSite)
{
site = aSite;
}
function siteToSearch()
{
return site;
}
function doGoogleSearch(form)
{    
    var searchTerms = form.searchTermsField.value;
    var searchURL = "http://www.google.com/search?q=" + searchTerms + "%20site:" + site;
    window.location = searchURL;
    return false;
}
-->