document.write ("42042");