document.write(" $\"\"$

\n");