document.write('0001934');