print('7')

#include<stdio.h> int main(){ printf("7"); return 0; }