// footer.js
// stores the name to put into the footer copyright
var addCopyright = true;
var footerName = "M. Rigaud";
if (addCopyright)
document.write(" by " + footerName + " &#169; 2008 ");
