document.write('003871');