main(s){scanf("%*d%4s",&s);puts(s>>24|s%95%49%3?"YES":"NO");}