#include <stdio.h>

int main(void){
  int price;
  char key;

  printf("%d\n", 80);

  return 0;
}