#include <stdio.h>
#include <string.h>
int main(void) {
char tt[20] = "0123456789";
strcat(tt + 2, "987");
printf("%d\n", strlen(tt) - tt[5] + '0');
return 0;
}
ICAjaW5jbHVkZSA8c3RkaW8uaD4gCiAgICAjaW5jbHVkZSA8c3RyaW5nLmg+CiAgICBpbnQgbWFpbih2b2lkKSB7IAogICAgICAgIGNoYXIgdHRbMjBdID0gIjAxMjM0NTY3ODkiOwogICAgICAgIHN0cmNhdCh0dCArIDIsICI5ODciKTsKICAgICAgICBwcmludGYoIiVkXG4iLCBzdHJsZW4odHQpIC0gdHRbNV0gKyAnMCcpOwogICAgICAgIHJldHVybiAwOyAKICAgIH0=