$IP$ 地址是由四个不含前导零的自然数 ($\leq255$)，和三个作为分割符的 "." 组成

例如 $192.168.1.1$, $127.0.0.1$, $255.255.255.255$

给出 一个 $IP$ 地址串 $str$， 判断 $IP$ 地址是否合法，输出$YES/NO$

如果不合法，请输出修改后的 $IP$ 地址，规则如下：

（1） 如果数字大于 $255$，修改为 $255$

（2） 如果有多余的字符，去掉多余的字符，保留 $X.Y.J.K$ 的形式

保证字符串中，存在且仅存在分开的 $4$ 个自然数

输入格式

输入共一行, 输入一个字符串。

输出格式

合法输出 YES （不包含引号）

否则输出 NO ， 以及在新一行输出，被改正后的地址。

样例

输入

012.1234@999()()33#$%

输出

NO
12.255.255.33

样例解释

$012$ 包含了前导 $0$， $1234,999 \gt 255$ ， 适当删除修改字符，使得其还原为 $X.Y.J.K$ 的格式。

数据范围

对于所有数据，保证字符串长度 $\leq 30$ 。

对于 30% 的数据，保证字符串是形如 $xxx.xxx.xxx.xxx$ 的形式， $x$ 一定是 $[0,9]$ 的数字

对于另外 30% 的数据，保证字符串是形如 $X.Y.J.K$ 的形式， 其中 $X, Y, J, K$ 都确保是自然数

对于另外 40% 的数据，（在保证题目条件情况下）形式无特殊要求