document.write(" $\"\"$

");