document.write('<font color=black size=2><tt>')

document.write(document.location.href + ' - ');

// append a modification date only if server provides a valid date
if (Date.parse(document.lastModified) > 0) {
	document.write('mod: ' + document.lastModified);
}
document.write('</font></tt>')