a[22];main(i){for(;read(0,&i,1);i=a[13])a[i-101]++;*a/=2;*a=!printf("%d",a[15]