document.write('
9
.
9
\n');