Description

众所周知，神经兮兮才是天才的基本特征，阿D就是这样一位天才。他用一些数字来进行着这种神秘的记录，记录什么我也不知道，总之就是天才的记录。但是某次记录里混入了错误的记录，那些不是阿D的记录，你能帮忙判断哪些是阿D的记录吗？

这位天才喜欢用1，14，144用来记录生活琐事（？），所以像14144，141414，14111，这样的数字，一看就是阿D纪录的，而像144444，1514这样的数字就不是阿D记录的，勇敢的少年啊，这个判断的任务就交给你了！

Format

Input

输入一个数字n(1 ≤ n ≤ 10^9) ，这个数字不包含前导0 （例如：0014）。

Output

如果是阿D的记录就输出YES，否则输出NO。

Samples

141414

YES

14114

YES

514

NO

Hint