var now = new Date();
	var month = now.getMonth();
	var date = now.getDate();
	var year = now.getYear();
	var monthname;
	if (month == 0) monthname = "jan";
	if (month == 1) monthname = "feb";
	if (month == 2) monthname = "mar";
	if (month == 3) monthname = "apr";
	if (month == 4) monthname = "may";
	if (month == 5) monthname = "jun";
	if (month == 6) monthname = "jul";
	if (month == 7) monthname = "aug";
	if (month == 8) monthname = "sep";
	if (month == 9) monthname = "oct";
	if (month == 10) monthname = "nov";
	if (month == 11) monthname = "dec";
	var yearname;
	if (year < 1000) year += 1900;
	if (year == 1999) yearname = "1999";
	if (year == 2000) yearname = "2000";
	if (year == 2001) yearname = "2001";
	if (!yearname) yearname = year;
	document.write("" +monthname+ " " +date+ ", " +yearname+ "");
	document.write('</FONT>');