main(){puts(getchar()%7?"NO\nYES":"YES\nYES");}