document.write ("42601");