#includeint ch(char *s,char c) { int n=0; while ( *s ) { if ( *s==c ) n++; s++; } return n;}void main { char str[256],c; int n; gets(str); c=getchar(); n=ch(str,c); printf("%d\n",n);}
