document.writeln("12042");