document.writeln("8342");