document.writeln("7012") document.writeln("