document.write('001934');