function dosearch()
        {
        form = document.searchform;
        
        var option = "";

        for (i = 0; i < form.srchopt.length; i++) 
                {
                if (form.srchopt[i].checked) 
                        {
                        option = form.srchopt[i].value;
                        }

                }

        //alert ("Option is: " + option);

        if (option == "wp")
                {
                form.action = "http://whitepages.tufts.edu/searchresults.cgi";
                form.search.value = form.q.value;
                }
	else if (option =="here")
		{
		form.proxystylesheet.value = "inside_uit";
		form.action = "http://googlesearch.tufts.edu/search";
		}
	else
		{
		// default is to search tufts
		form.action = "http://googlesearch.tufts.edu/search";
		form.proxystylesheet.value = "tufts_staging";
		form.as_sitesearch.value = "";		
		}

        form.submit();

        }
function write_date()
{
var thetime=new Date();

var nday=thetime.getDay();
var nmonth=thetime.getMonth();
var ntoday=thetime.getDate();
var nyear=thetime.getYear();
var curr_hour = thetime.getHours();
var curr_min = thetime.getMinutes();
var AorP=" ";
var a_p = "";
var m_names = new Array("January", "February", "March", 
"April", "May", "June", "July", "August", "September", 
"October", "November", "December");

if (nday==0)
  nday="Sunday";
if (nday==1)
  nday="Monday";
if (nday==2)
  nday="Tuesday";
if (nday==3)
  nday="Wednesday";
if (nday==4)
  nday="Thursday";
if (nday==5)
  nday="Friday";
if (nday==6)
  nday="Saturday";

nmonth+=1;

if (nyear<=99)
  nyear= "19"+nyear;

if ((nyear>99) && (nyear<2000))
 nyear+=1900;
 

if (curr_hour < 12)
   {
   a_p = "AM";
   }
else
   {
   a_p = "PM";
   }
if (curr_hour == 0)
   {
   curr_hour = 12;
   }
if (curr_hour > 12)
   {
   curr_hour = curr_hour - 12;
   }

curr_min = curr_min + "";

if (curr_min.length == 1)
   {
   curr_min = "0" + curr_min;
   } 

document.write(""+nday+", "+m_names[nmonth-1]+", "+ntoday+" "+nyear+" "+curr_hour + ":" + curr_min + " " + a_p);

}