var d=new Date();
var monthname=new Array("January","February","March","April","May","June","July","August","September","October","November","December");
var TODAY = monthname[d.getMonth()] + " " + d.getDate() + ", " + d.getFullYear();

/* the following is adopted from website */
function changePage(pageName,objectID) {
 fetchData(pageName,null,objectID); 
}


function filterData(pageRequest,objectID){
	if (pageRequest.readyState == 4 && (pageRequest.status==200 || window.location.href.indexOf("http")==-1))
		document.getElementById(objectID).innerHTML=pageRequest.responseText
}