在基于Internet的程序中，我们常常需要判断一个IP字符串的合法性。



合法的IP是这样的形式：



A.B.C.D



其中A、B、C、D均为位于[0, 255]中的整数。为了简单起见，我们规定这四个整数中不会有前导零存在，如001这种情况。



现在，请你来完成这个判断程序吧^_^



Input

输入由多行组成，每行是一个字符串，输入由“End of file”结束。



字符串长度最大为30，且不含空格和不可见字符。



Output

对于每一个输入，单独输出一行



如果该字符串是合法的IP，输出YES，否则，输出NO

-In an internet-based program, we often need to determine the legality of an IP string.

Legitimate IP is the form:

A.B.C.D

A, B, C, and D are all integers in [0, 255]. For the sake of simplicity, we specify that no leading zero exists in these four integers, as in 001.

Now, please to complete the judgment procedure ^_^

The Input

The input consists of several lines, each of which is a string, and the input is terminated by the　End of file .

The length of the string is up to 30, with no Spaces and no visible characters.

The Output

For each input, a single output row

If the string is legal IP, output YES, otherwise, the output NO