function dateString()
	{
		var days = new Array("Sunday","Monday","Tuesday","Wednesday","Thursday","Friday","Saturday");
		var months = new Array("Jan.","Feb.","March","April","May","June","July","Aug.","Sept.","Oct.","Nov.","Dec.");
		var x = new Date();
		var y = months[x.getMonth()];
		var z = days[x.getDay()];
		var a = x.getFullYear();
		var b = x.getDate();
		return "<nobr>" + z + ", " + y + " " + b + ", " + a + "</nobr>";
	}