document.write ("42600");