<!--
function hdrDate() {
	var now = new Date();
	var dN = new Array("Sun", "Mon", "Tue", "Wed", "Thu", "Fri", "Sat");
	var mN = new Array("Jan", "Feb", "Mar", "Apr", "May", "Jun", "Jul", "Aug", "Sep", "Oct", "Nov", "Dec");
	//convert to e.g. Thu 26th Feb
	document.write(dN[now.getDay()]+" "+now.getDate()+dE(now.getDate())+" "+mN[now.getMonth()]);
}
function dE(x){ if(x==1||x==21||x==31){ return 'st'; } if(x==2||x==22){ return 'nd'; } if(x==3||x==23){ return 'rd'; } return 'th'; }
// -->