document.writeln("12042")