#!/usr/bin/env python3 # %% import sys read = sys.stdin.buffer.read readline = sys.stdin.buffer.readline readlines = sys.stdin.buffer.readlines # %% P = int(read()) # %% def solve(P): if P % 10 not in [2, 3, 4]: return False while P: P, r = divmod(P, 10) if r in [2, 3, 4]: P -= 1 continue if not P: return False if r in [6, 7]: return P == 0 or all(x in '67' for x in str(P)) return False return True # %% print('Yes' if solve(P) else 'No')