char s[10];i;
main(){for(;printf("%03d",i++),strcmp(gets(s),"unlocked");fflush(0));return 0;}