document.writeln("10142")