_lmDate=document.createTextNode(document.lastModified);

_insDate=document.getElementById('insDate');
_insDate.style.fontWeight='bold';
_insDate.style.fontFamily='monospace';
_insDate.appendChild(_lmDate);