#include<stdio.h>
#include<string.h>
int main(){
char c;
scanf("%c",&c);
getchar();
char str[81];
gets(str);
int index=-1;
for(int i=0;i<strlen(str);i++){
if(str[i]==c){
index=i;
}
}
if(index!=-1)
printf("index = %d",index);
else
printf("Not Found");
return 0;
}