document.writeln("

$\"\"$

"); document.writeln("

$\"\"$

");