document.write('140072');