    function showLastModified() {
	var out = document.getElementById('lastModified');
	var d = new Date();
	if (d.toLocaleDateString) {
	    out.innerHTML = d.toLocaleDateString(document.lastModified);
	}
	else {
	    out.innerHTML = document.lastModified;
	}
	    out.innerHTML = document.lastModified;
    }

    window.onload = showLastModified;

