document.write('000139');