Python :

# coding=utf-8
def check_number(m, k):
    # 将 m 转为字符串，统计字符 '3' 的数量
    count_of_3 = str(m).count('3')
    
    # 判断 m 是否能被 19 整除，且含有恰好 k 个 3
    if m % 19 == 0 and count_of_3 == k:
        return "YES"
    else:
        return "NO"

def main():
    # 读取输入
    m, k = map(int, input().split())
    
    # 输出结果
    print(check_number(m, k))

if __name__ == "__main__":
    main()