#include <stdio.h>#include <string.h>int main() {    char str[1000];    gets(str);    char a[10];    gets(a);    char *p= strtok(str,a);    int num = 0;    while(p!=NULL){        char *P = p;        p = strtok(NULL,a);        num++;    }    printf("%d",num+1);    return 0;}这样使用...