document.writeln("10142");