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