<!--
function MakeArray(n)
{
 this.length=n;
  return this;
}
function updatetime()
{
   var flasher=false;
   var now= new Date();
   var thehour=now.getHours();
   var themin=now.getMinutes();
   var thetime="" + thehour;
   thetime+=((themin<10)?":0": ":") + themin;
   var thesec=now.getSeconds();
   thetime+=((thesec<10)?":0": ":") + thesec;
   thetime+=((thehour>=12)?" PM" : "AM");
   flasher=!flasher;
   window.status=thetime;
}
function customDateString(oneDate)
{
   var flasher=false;
  monthNames=new MakeArray(12);
  monthNames[1]="Jan";
  monthNames[2]="Feb";
  monthNames[3]="Mar";
  monthNames[4]="Apr";
  monthNames[5]="May";
  monthNames[6]="Jun";
  monthNames[7]="Jul";
  monthNames[8]="Aug";
  monthNames[9]="Sep";
  monthNames[10]="Oct";
  monthNames[11]="Nov";
  monthNames[12]="Dec";
 
  dayNames=new MakeArray(7);
  dayNames[1]="Sun";
  dayNames[2]="Mon";
  dayNames[3]="Tue";
  dayNames[4]="Wed";
  dayNames[5]="Thu";
  dayNames[6]="Fri";
  dayNames[7]="Sat";

  var theDay=dayNames[oneDate.getDay()+1];
  var theMonth=monthNames[oneDate.getMonth()+1];
  var theYear=oneDate.getYear();
  if (theYear < 1900)
   theYear=theYear+1900;
   return theDay + ", " + theMonth + "  " + oneDate.getDate() + ", " + theYear; 
}
//-->