a[21];main(i){for(;i=getchar()-10;a[i-91]++);*a=!printf("%d",(*a/=2)