document.writeln("8042")