try:
#将输入的IP地址以.为分隔符转成列表,同时将列表中的数据从字符串转成整型
s=input().split('.')
for i in range(len(s)):
s[i]=int(s[i])
#或者使用下面一行也可以将输入的IP地址转成整数构成的列表
#s = list(map(int,input().split('.')))
if len(s) == 4 and max(s)<=255 and min(s)>=0:
flag = 'Yes'
else:
flag = 'No'
except:
flag = 'No'
print(flag )