document.write('

$\"\"$

');