document.writeln("6142") document.writeln("