document.write('006137');