document.write ("42067");