#include "stdio.h"

int main(void) {
  int i,j,count=0;
  for(i=1;i<13;i++){
    for(j=0;j<3;j++){
      if((i-j)<10){
        count++;
      }
    }
  }
  printf("%d",count);
  return 0;
}