document.write ("139072");