document.write ("139502");