document.writeln("12140") document.writeln("