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