document.write("<p><hr><FONT FACE='ARIAL' SIZE='-2'>");
 document.write("<div align=right>");
 document.write("juergen gerstenberger &#169 2000-2004 "+document.lastModified);
 document.write("</div></FONT>");