function printDateTime() {
	var month=new Array(12); 
	month[0]="January"; 
	month[1]="February"; 
	month[2]="March"; 
	month[3]="April"; 
	month[4]="May"; 
	month[5]="June"; 
	month[6]="July"; 
	month[7]="August"; 
	month[8]="September"; 
	month[9]="October"; 
	month[10]="November"; 
	month[11]="December";
	mt = new Date();
	hr = mt.getHours().toString();   if(hr.length == 1) hr = '0' + hr;
	mn = mt.getMinutes().toString(); if(mn.length == 1) mn = '0' + mn;
	document.write( month[mt.getMonth()] +' '+ mt.getDate() +', '+ mt.getFullYear() +', '+ hr +':'+ mn );
}