document.writeln("42255");