document.write("

$\'\'$

");