document.write ("42201");