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

