document.writeln("7042");