document.write('139093');