<!--
function printCopyright() {
  copyright = new Date();
  year = copyright.getFullYear();
  document.write("Copyright &copy; 2001-"+ year + ". All rights reserved.");
}

function printUpdate(varied) {
	var MONTHS = new Array('Jan','Feb','Mar','Apr','May','Jun','Jul','Aug','Sep','Oct','Nov','Dec');
	date = new Date();
	var m = date.getMonth();
	var month = MONTHS[m];
	update = date.getDate() +" "+ month +" "+ date.getFullYear();
	
	document.write("Last updated "+ update + " (" + date.getTime() + " ms)");
}
// -->