// yuki 1003 サイコロの実装 (1)
// 2020.3.7 bal4u

#include <stdio.h>

int main()
{
	int N;
	scanf("%d", &N);
	puts(N <= 6 || N % 6 == 0? "Yes": "No");
	return 0;
}