String.prototype.trim = function () {
    return this.replace(/^\s*/, "").replace(/\s*$/, "");
}

function lastupd() {
	upddate = new Date(document.lastModified);
	curMonth = upddate.getMonth() + 1;
	curDate = upddate.getDate();
	curYear = upddate.getFullYear();
	fulldate = curMonth + "/" + curDate + "/" + curYear;
	fulldate = fulldate.trim();
	document.writeln(fulldate);
	}