{
   var dt = new Date
   var yy = dt.getYear()
   var minute = dt.getMinutes()
   var mm = ((minute < 10) ? "0" : "") + minute
   if (yy < 2000) 
   {
	yy = yy +1900
   }

   // var dayName = new Array ("Sunday", "Monday", "Tuesday", "Wednesday", "Thursday", "Friday", "Saturday")
   // var monName = new Array ("January", "February", "March", "April", "May", "June", "July","August",
   //				"September","October","November", "December")
   // document.write(dayName[dt.getDay()] + ", " + monName[dt.getMonth()] + " "  + dt.getDate() + ",  " + yy + ".");

   var monNameShort = new Array ("Jan", "Feb", "Mar", "Apr", "May", "Jun", "Jul", "Aug", "Sep", "Oct", "Nov", "Dec")
   showdt = monNameShort[dt.getMonth()] + " "  + dt.getDate() + ",  " + yy + " " + dt.getHours() + ":" + mm

}