document.writeln("6923");