document.writeln("5212") document.writeln("