function generate_footer() {
 document.write("<p />");
 document.write("<hr />");
 document.write(" <center> <table width=100%> <tr valign=top> <td align=left><font size=-1>");
 document.write("<font size=-1>");
 document.write("<br>Last modified: ");
 document.write(document.lastModified);
 document.write("</font></td>");
 document.write("<td align=right><font size=-1><address>");
 document.write("<a href= \"http://www-swiss.ai.mit.edu/~hal/hal.html\">Hal Abelson</a>&lt;<a href=\"mailto:hal@mit.edu\">hal@mit.edu</a>&gt;<br>");
 document.write(" </address> </font> </td> </tr> </table> </center> </body> </html>");
 document.close();
}