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

