#include<bits/stdc++.h>
using namespace std;
int main(){
  string filename = __FILE__;

  ifstream ifs(filename);

  vector<char> original;
  char c;
  while(ifs.get(c)){
    original.push_back(c);
  }
  
  for(int i=0; i<(int)original.size(); ++i){
    char c;
    cin.get(c);
    
    if(c != original[i]){
      printf("%d\n\"%c\"\n\"%c\"\n", i, original[i], c);
      break;
    }
  }

  return 0;
}