c=0 print('000') while len(input())<7:c+=1;print('%03d'%c)