document.writeln("42400");