document.writeln("5112") document.writeln("