document.write('0003139');