蒟蒻在线蹲大佬

#include<iostream>
using namespace std;
int main() {
    int m,k,dot=0;
    cin>>m>>k;
    for(; true;) {
        if(m%10==3) {
            dot++;
        }
        m=m/10;
        if(m==0)break;
    }
    if(dot==k) {
        cout<<"YES";
    } else {
        cout<<"NO";
    }
    return 0;
}

70分的蒟蒻