#include <bits/stdc++.h>

using namespace std;

int main() {
    string s,t;
    while(cin>>s>>t){
        int ct=0;
        while(s.find(t)!=string::npos){
            s.erase(s.find(t),t.size());
            ct++;
        }
        printf("num=%d;S3=",ct);
        cout<<s<<endl;
    }
}

如果让用，就用，如果不让用，建议暴力匹配