n = int(input()) if (n-5)%6==0: print('Yes') else: print('No')