document.write ("139302");