#include<bits/stdc++.h> using namespace std; //判断是否为数字字符 bool isnum(char a) { return a>='0'&&a<='9'; } //将字符转换为数字 int chartonum(char a) { return a-'0'; } int main() { string str; while(getline(cin,str)) { int len = str.length(); int i = 0,flag = 0; while(i<len) { int sum = 0; if(isnum(str[i])) { while(isnum(str[i])&&i<len) { sum = sum*10+str[i]-'0'; i++; } if(sum<0||sum>255) { cout<<"No!"<<endl; flag = 1; break; } } else { i++; } } if(flag == 0) { cout<<"Yes!"<<endl; } } return 0; }