<!--
// datemod.js from http://www.bassoon.org/
if (Date.parse(document.lastModified) !=0)
 document.write('<P ALIGN="CENTER"><CENTER><FONT FACE="VERDANA" SIZE="1">Last update: ' + document.lastModified + '</FONT></CENTER></P>');
// -->
