document.write ("42259");