document.write ("42036");