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

var nmonth=thetime.getMonth();
var ntoday=thetime.getDate();
var nyear=thetime.getYear();
var AorP=" ";

if (nmonth==0)
  nmonth="January";
if (nmonth==1)
  nmonth="February";
if (nmonth==2)
  nmonth="March";
if (nmonth==3)
  nmonth="April";
if (nmonth==4)
  nmonth="May";
if (nmonth==5)
  nmonth="June";
if (nmonth==6)
  nmonth="July";
if (nmonth==7)
  nmonth="August";
if (nmonth==8)
  nmonth="September";
if (nmonth==9)
  nmonth="October";
if (nmonth==10)
  nmonth="November";
if (nmonth==11)
  nmonth="December";

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

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

document.write(nmonth+" "+ntoday+", "+nyear);

}