i;main(s){scanf("%d%3s",&i,&s);s=s%97%79;i=!puts(i<2||i<4&&!s|s==18?"NO":"YES");}