function show_date() 
{
   var today = new Date();
   //var m = new Object();
   //m[0] = "Jan"; m[1] = "Feb"; m[2] = "Mar"; m[3] = "Apr"; m[4] = "May"; m[5] = "Jun";
   //m[6] = "Jul"; m[7] = "Aug"; m[8] = "Sep"; m[9] = "Oct"; m[10] = "Nov"; m[11] = "Dec";
   var m = new Array("Jan","Feb","Mar","Apr","May","Jun","Jul","Aug","Sep","Oct","Nov","Dec");
   //document.write(m[today.getMonth()]+" ");
   //document.write(today.getDate()+", ");
   var yy = today.getYear();
   yy = (yy < 1000) ? yy+1900 : yy;
   document.write(m[today.getMonth()]+' '+today.getDate()+', '+yy);
}