f;g(c){f=read(0,&c,1)?g(),f-1?f-2?f-3?f-4?0:c%27<2?4:0:c%11<2?4:c%17<3?3:49/c*5:c%10<3?3:0:2:1;}main(){g();puts(f>3?"Yes":"No");}