#include <stdio.h> int main() { int m, k; scanf("%d %d", &m, &k); if (m % 19 == 0) { int count = 0; while (m != 0) { int digit = m % 10; if (digit == 3) { count++; } m /= 10; } if (count == k) { printf("YES\n"); } else { printf("NO\n"); } } else { printf("NO\n"); } return 0; }