#include<stdio.h>
int main(){char c,d;int i=0;for(FILE*p=fopen("source.txt","r");(c=fgetc(p))==(d=getchar());i++);printf("%d\n\"%c\"\n\"%c\"",i,c,d);}