if (document.layers) {
	origWidth = innerWidth;
	origHeight = innerHeight;
	}
function reloadPage() {
	if (innerWidth !=origWidth ||
	innerHeight != origHeight)
	location.reload();
	}
if(document.layers) onresize = reloadPage;

// the following function is used to get the date on which the file was saved and display it in a Common Look and Feel format

function moddate() {
var magicday = new Date(document.lastModified)
var modyear = magicday.getFullYear()
var modmonth = magicday.getMonth()+1
if (modmonth < 10) {
modmonth="0"+modmonth
}
var modday = magicday.getDate() 
if (modday < 10) {
modday="0"+modday
}
document.writeln("Date Published: "
+ magicday);
}