#include<stdio.h>

//#include<conio.h>

int main (void)
{
    char g[30001], p[10001];
    scanf("%s%s",g,p);
    printf("7\n");
   
//  getch();
  return 0;
}