function getDateString(){
	var months = new Array("JAN","FEB","MAR","APR","MAY","JUN","JUL","AUG","SEP","OCT","NOV","DEC");
	var today = new Date();
	var year = today.getYear(), month = today.getMonth(),
	dayOfWk = today.getDay(), dayOfMonth=today.getDate(),
	hh = today.getHours(), mm = today.getMinutes();

	if(year < 1000)
	   year += 1900;

	if (hh < 10 ) hh= "0" + hh;
	if (mm< 10 ) mm = "0" + mm;

	var dateStr = '<p id="date">' + months[month] + '<span>' + dayOfMonth + '</span></p>';

	return dateStr;

} //function