#include <stdio.h>
// 作者 : FnLock
int main(void)
{
char arr[100];
gets(arr);
int n,m;
int i;
int count=0;
for(i=0;arr[i]!='\0';i++)
{
if(arr[i]>='0'&&arr[i]<='9')
{
if(count==0)
{
n=arr[i];
count++;
}
else
{
m=arr[i];
break;
}
}
}
if(n<=52&&n>48&&m>=52&&m<=57)
{
printf("Yes");
}
else
{
printf("No");
}
return 0;
}