document.writeln("4247") document.writeln("