int ans,i1,i2,i3;
int main(void){
for(i1=0;i1<=3;++i1)
for(i2=1;i2<=5;++i2)
for(i3=0;i3<=6;++i3)
if(i1+i2+i3==8)++ans;
printf("%d\n",ans);return 0;
}