document.write ("42380");