document.writeln("42001")