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

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

if(smonth==0)
	smonth="Jan";
if(smonth==1)
	smonth="Feb";
if(smonth==2)
	smonth="Mar";
if(smonth==3)
	smonth="Apr";
if(smonth==4)
	smonth="May";
if(smonth==5)
	smonth="Jun";
if(smonth==6)
	smonth="Jul";
if(smonth==7)
	smonth="Aug";
if(smonth==8)
	smonth="Sep";
if(smonth==9)
	smonth="Oct";
if(smonth==10)
	smonth="Nov";
if(smonth==11)
	smonth="Dec";

nmonth+=1;


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

if ((nyear>99) && (nyear<2000))
 nyear+=1900;
document.write('<font face=Arial size=2 color="#00ccff"><b>')
document.write(" " + ntoday + " - " + smonth +" - " + nyear );
document.write('</b></font>')
}