document.write("\n\n

$\"\"$

\n");