document.write("

$\"\"$

");