// JavaScript Document
<!--
var b = document.getElementById("bottom_modifed");
b.innerHTML = "Last modified 06/01/07.";
//-->