function pdate()
	{
	var t = new Date();
	var d = t.getDate();
	var m = t.getMonth();
	var y = t.getFullYear();
	var month = new Array("January", "February", "March", "April", "May", "June", "July", "August", "September", "October", "November", "December");
	m = month[m];
	d = m + " " + d + ", " + y;
	document.write('<span class="vsmall">' + d + "</span>");
	}
