#include<stdio.h>
#include<string.h>
int main(){
char str[100];
while(scanf("%s",str)!=EOF){
int flag=1;
int len1=strlen(str);
for(int i=1;i<len1;i++){
if(str[0]!='0'){
if(str[i]>'9'||str[i]<'0') {
flag=0;
printf("No\n");
memset(str,0,100);
break;
}
}
if(str[0]=='0'){
if(str[1]!='x'||str[1]!='X'){
if(str[i]<'0'||str[i]>'7') {
flag=0;
printf("No\n");
memset(str,0,100);
break;
}
}
else {
if(i==1) continue;
if(str[i]<'0'||str[i]>'f'){
flag=0;
printf("No\n");
memset(str,0,100);
break;
}
}
}
}
if(flag) {
memset(str,0,100);
printf("Yes\n");
}
}
return 0;
}