// JavaScript Document
<!--<script language="javascript">-->
function writeTime() 
{  
  var today = new Date();

  var day     = today.getDay();
  var date    = today.getDate();
  var month   = today.getMonth();
  var year    = today.getFullYear();
  var hours   = today.getHours();
  var minutes = today.getMinutes();
  var seconds = today.getSeconds();

  minutes = fixTime(minutes);
  seconds = fixTime(seconds);

  var the_date = getFullDay(day)+" "+getFullMonth(month)+" "+date+" "+year;
  var the_time = hours + ":" + minutes + ":" + seconds;
  dispDate.innerHTML = "<FONT SIZE='1'><b>"+the_date+" "+the_time+"</b></FONT>";
  setTimeout("writeTime();",1000);

}


function fixTime(the_time) 
{
   if (the_time <10) 
    {
      the_time = "0" + the_time;
    }
   return the_time;
}

function getFullMonth(month)
{
  var mon = new Array(12);
  mon[0]="Jan"
  mon[1]="Feb"
  mon[2]="Mar"
  mon[3]="Apr"
  mon[4]="May"
  mon[5]="Jun"
  mon[6]="Jul"
  mon[7]="Aug"
  mon[8]="Sep"
  mon[9]="Oct"
  mon[10]="Nov"
  mon[11]="Dec"
  
  return mon[month];
}

function getFullDay(day)
{
  var dd = new Array(7);
  dd[0] = "&nbsp;&nbsp;Sun"
  dd[1] = "&nbsp;&nbsp;Mon"
  dd[2] = "&nbsp;&nbsp;Tue"
  dd[3] = "&nbsp;&nbsp;Wed"
  dd[4] = "&nbsp;&nbsp;Thu"
  dd[5] = "&nbsp;&nbsp;Fri"
  dd[6] = "&nbsp;&nbsp;Sat"
  
  return dd[day];
}

function MM_popupMsg(msg) { //v1.0
  alert(msg);
}
//-->