function refresh_copyright_year() {
    if ( (foo = Date.parse(document.lastModified)) == 0 ) return;
	document.getElementById('copyright_year').innerHTML = (new Date(foo)).getFullYear();
}