document.writeln("42140")