document.writeln('(updated 12.20.02)')