#include<stdio.h>
int main(){char ch;FILE *fp;char std[500];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\"\n\"%c\"",index,ch,std[index]);break;}index=index+1;}fclose(fp);return 0;}