#include<cstdio>
int main() {
  printf("%d\n",8/2*(3+1)+1);
  return 0;
}