if (Date.parse(document.lastModified) != 0)
var x = document.lastModified;
var y = x.indexOf(':');
var z = x.slice (0 , y - 2);
document.write('<div class="upd">This page was last updated: ' + z +'</div>');