// Date last modified info grabbed.
var dateModified = document.lastModified;
newdate = dateModified.slice(0,16);

scripts_js = 
'    </div> </td> </tr>'
+'<!-- Add the contact and "last modified" info -->\n'
+'<tr><td class=titlebarfontcolor colspan=2><address> <b>'
+' Last modified: ' + newdate + '</b>'
+'<br> Send questions or comments to:'
+'<a href=' + 'mail' + 'to:' + email + '@' + emailHost+ '>' +  contact
+' </font> </a> <br></address></td></tr></table> '
+'</body>\n';
// end_var_declaration

document.write(scripts_js);