题目描述

shiguang12318想要加入算法集训队，但集训队要求codeforces≥1200或者Atcoder≥1200或者nowcoder≥1200或者leetcode≥1700，

输入

第一行包含四个整数 codeforces,Atcoder,nowcoder, leetcode(1≤codeforces,Atcoder,nowcoder,leetcode≤3000 )

输出

如果符合标准输出YES，否则输出NO

样例

1200 1200 1300 1720

YES