document.write ("42074");