document.write ("42267");