<!--
function DocWrite(AString) { document.write(AString); }
//-->