document.writeln("

$\"7$

");