#include <stdio.h>
int main(int c,char *v[]){
 long int f=0;
 int s;
 //sscanf(v[1],"%x",&s);
 FILE* p=fopen("TapTinTau.txt","r");
 fseek(p,0,SEEK_END);
 long int g=ftell(p)/71;
// for(int i=0;i<s;i++)
printf("%ld",g);
// while()
// fseek(p,f*71+6,SEEK_SET);
// for(int i=0;i<4;i++)
    printf("%c",v[i][i]);
  //fputc(fgetc(g>>(),stdout);
 fflush(stdout);
 fclose(p);}