今天是2025年11月14日。你正在为2025年太平洋西北地区赛（Pacific Northwest Regional）做最后的准备。

你的宿舍里正大声播放着欧洲歌唱大赛（Eurovision）的音乐，而你正在为 Free Solo 编写最终的解决方案。你将代码提交到 Kattis，并看着绿色的对勾慢慢增多……你最后按了一次 F5，发现所有测试用例都通过了！

编程准备工作现已全部完成，你决定准备好所有要带去地区赛的材料。你打包了你信赖的 CLRS 和 KT，以及 C、C++、Java、Kotlin 和 Python 的语言参考书。你打印了一份 KACTL 团队参考文档，还打印了你的个人模板。

你看了看手机。已经是2025年11月15日了。你意识到你需要好好睡一觉。你设好闹钟，开始准备睡觉。你对地区赛感到兴奋，但还不至于兴奋到今晚失眠。

闹钟设定在15号的某个时间响，你躺上床，头还没碰到枕头就睡着了。

你突然醒来并看了看钟。依然是2025年11月15日。你睡过头（错过了闹钟）了吗？

输入格式

输入包含两行。

第一行包含一个格式为 HH:MM 的时间，表示你设定的闹钟时间。保证这是一个在 10:00 到 12:59（含）之间的有效时间。

第二行包含一个格式为 HH:MM 的时间，表示你醒来看钟的时间。保证这是一个在 10:00 到 12:59（含）之间的有效时间。进一步保证该时间与你设定的闹钟时间不完全相同。

一个有效时间的分钟值总是介于 $0$ 到 $59$（含）之间的整数。分钟值将始终使用两位数字表示，可能含有前导零。

输出格式

如果你在闹钟响过之后才醒来，输出 YES。否则，输出 NO。

样例

输入样例 1

11:13
12:23

输出样例 1

YES

输入样例 2

11:23
11:13

输出样例 2

NO

输入样例 3

12:13
11:13

输出样例 3

NO

输入样例 4

12:23
11:13

输出样例 4

NO

输入样例 5

11:00
10:00

输出样例 5

NO

输入样例 6

10:00
11:00

输出样例 6

YES