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