document.write("

" + DateString() + "

\n");