I've checked this out in FF1.0.7 and IE6, and it gave me different results each time, so the output depends on your browser. I assume the line var p = m.length-8; is to get rid of the time. This might work for you:
var m = "Page Updated " + document.lastModified;
document.writeln("<right>")...