<!--
document.write('<div align=right><font size=1 face="Verdan, arial, helvetica, sans-serif">' + 'Department of Mathematics, Heriot-Watt University<BR>This frame: <a href="http://' + location.hostname +  location.pathname + '"  target="_top">' + location.hostname +  location.pathname + "</a><BR>" + "Last modified: " + "<emph>" + document.lastModified + "</emph></font></div>");
// -->
