//Nice an' simple
#include <stdio.h>
int main(){
	int _;
	unsigned long __[4]={0};
	while((_=getchar())!=EOF){
		unsigned char x=_;
		if(x='B')__[0]++;
		else if(x='K')__[1]++;
		else if(x='N')__[2]++;
		else if(!isspace(x)) __[3]++;
	}
	printf("Bush %d\n",__[0]);
	printf("Kerry %d\n",__[1]);
	printf("Nader %d\n",__[2]);
	printf("Other %d\n",__[3]);
}