document.write("

$\"\"$

\n\n

\n");