#include <stdio.h>
int main(){
	char ch;
	FILE *fp;
	char std[114514];
	scanf("%s", std);
	fp = fopen("source.txt","r");
	int index;
	index = 0;
	while(1){
		ch = fgetc(fp); 
		if(ch == std[index]){
			printf("%d\n\"%c\"\"%c\"", index, ch, std[index]);
			break;
		}
		index = index + 1;
	}
	fclose(fp);
	return 0;
}