function popupWindow(theURL,winName,features)
{
  window.open(theURL,winName,features);
}

function searchGoogleRLE()
{
	ctl = document.getElementById("ctlHeader_tbSearchText");
	location.href='http://www.rle.mit.edu/search.htm?cx=013918507010748427955%3Amm7asjuutkm&cof=FORID%3A11&q=' + ctl.value;
}