// JavaScript Document
function imageon(name)   {document[name].src = "http://web.mit.edu/shbt/images/" +name + "-over.gif";}
function imageoff(name)  {document[name].src = "http://web.mit.edu/shbt/images/" +name + "-off.gif";}
function on(name)  {if (check == true){imageon(name);}}
function off(name)  {if (check == true){imageoff(name);}}

if (navigator.appVersion.indexOf("2.") != -1) {check = false;}
if ((navigator.appVersion.indexOf("3.") != -1) && (navigator.appName.indexOf("Explorer") != -1)) {check = false;}
else {check = true;}

function searchSubmit() {
	document.search.submit();
}