document.write ("42073");