document.write ("42034");