document.write('003894');