document.writeln("6912");