char z[];n;t;main(l){for(;gets(z);n=!printf("%d\n",t>4?-1:n))for(l=strlen(z),t=9;l--;n+=z[l]%32!=(--t>6?3*t:l<2?12-l*3:14));}