document.write ("42040");