document.write('0001993');