#include <stdio.h>

int main(void){
  int price;

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

  char key;

  return 0;
}