#include <bits/stdc++.h>
int main(int argc, char *argv[]) {
  int need, res;
  scanf("%d", &need);
  need -= 10;
  switch (need) {
    case 1:
    case 2:
    case 3:
    case 4:
    case 5:
    case 6:
    case 7:
    case 8:
    case 9:
    case 11:
      res = 4;
      break;
    case 10:
      res = 15;
      break;
    default:
      res = 0;
      break;
  }
  printf("%d\n", res);
  return 0;
}
