#include <stdio.h>

int main(){
	int val = 0;
	scanf("%d",&val);
	
	int outcome[6];
	
	for(int i = 1;i < val;i ++){
		int tmp = (i % 6);
		outcome[tmp] += 1;
	}
	for(int i = 1;i < 6;i ++){
		if(outcome[0] != outcome[i]){
			printf("No");
			return 0;
		}
	}
	printf("Yes");
}