// JavaScript Document

function WS_Set_Date()
{
	if (document.getElementById("pagedatetime"))
	{
		var oDateSpan = document.getElementById("pagedatetime");
		var oDate = new Date();
		var oDateStr = oDate.toDateString();
		
		oDateSpan.innerHTML = oDateStr;
	}
}