document.writeln("42002");