document.write(' $\"\"$

');