function writeFooter() {

document.write('<hr>');
document.write('<center>');
document.write('<font size="-1">Comments and Suggestions: <a href="mailto:michal harel@weizmann.ac.il">michal.harel@weizmann.ac.il</font></a>');
document.write('<br>');
document.write('<font size="-1">Last Updated: ');
document.write (document.lastModified);
document.write('</font>');

}