function docchange() {

var Months = new Array('January','February','March','April',
	'May','June','July','August','September','November','December');

var date = new Date(document.lastModified);
var mon = Months[date.getMonth()];
var day = date.getDate();
var hr = leadingZero(date.getHours());
var min = leadingZero(date.getMinutes());
var yr = date.getFullYear();

var fulldate = mon + " " + day + ", " + yr + " " + hr + ":" + min;
return fulldate;
}

function leadingZero(nr)
{
	if (nr < 10) nr = "0" + nr;
	return nr;
}