#include <stdio.h>
int main() {
int n,flag=0;
scanf("%d",&n);
for(int i=0;i<=n/2&&!flag;i++)
for(int j=0;j<=n/3&&!flag;j++)
if(2*i+3*j==n)
flag=1;
flag?printf("YES\n"):printf("NO\n");
return 0;
}

京公网安备 11010502036488号