document.writeln("

$\"70\"$

");