p = input()  # 桁がデカすぎるので文字列のまま
count = len(p)  # 桁数


def main() -> bool:

    # まず 1 桁の数字はナシ
    if count <= 1:
        return False

    # 先頭文字が 1, 6, 7, 8 ではない (但し 2 桁の時は 1, 7, 8 ではない) 場合は違う
    test_set = {'1', '6', '7', '8'} if count > 2 else {'1', '7', '8'}
    if p[0] not in test_set:
        return False

    # 最終文字が 2, 3, 4 のいずれかでない場合は違う
    if p[-1] not in {'2', '3', '4'}:
        return False

    # 先頭文字が 1, 8 の場合は中間文字のいずれも 3, 4, 5 であること
    middle = p[1:-1]
    if p[0] in {'1', '8'}:
        three, four, five = middle.count('3'), middle.count('4'), middle.count('5')
        return three + four + five == count - 2

    # 先頭文字が 6, 7 の場合は 3, 4, 5, 6, 7, 8 で構成され 8 は 1 つ以下であること
    if p[0] in {'6', '7'}:
        counts = [middle.count(str(i)) for i in range(3, 9)]
        return counts[5] <= 1 and sum(counts) == count - 2
    else:
        raise AssertionError


print('Yes' if main() else 'No')