print("YNeos"[int(input())%8%7>0::2])