document.write('003834');