#include int main(){int x;scanf("%d",&x);puts(x&&x-4&&x-10?"No":"Yes");}