function writefooter() {

document.write('<font color="#CCCCCC" size="-2">Comments and Suggestions:</font> <a href="mailto:Natasha Gruber <ISPC@weizmann.ac.il>"><font color="#CCCCCC" size="-2">ISPC@weizmann.ac.il</font></a>');
document.write('<br>');
document.write('<font color="#CCCCCC" size="-2">Last Updated: </font>');
document.write('<font color="#CCCCCC" size="-2">');
document.write (document.lastModified);
document.write('</font>');

 }