document.writeln("6872");