题目描述

放暑假了，自然是要出去旅游的！

徐老师今年暑假就和石老师一起去了洛杉矶旅游

但是由于工作原因，徐老师提前回国，留石老师一个人在洛杉矶继续玩

这天徐老师打算和石老师打个电话，但是由于时区跨度很大，徐老师和石老师两个人之间的时间是不一样的，差了 $15$ 个小时，也就是说石老师的时间要比徐老师晚 $15$ 个小时。

现在徐老师知道自己这里的时间，他想知道石老师那边的时间是几点，来判断是否能打电话，如果石老师那边的时间在早上 $08:00$ 之后（包括 $08:00$)，晚上 $20$ 点之前（包括 $20:00$)，则说明徐老师可以电话，否则就不能，会影响石老师休息。

输入格式

输入一行包含 $5$ 个字符，格式如：HH:MM，其中 HH 表示小时，MM 表示分钟，用于表示徐老师现在的时间

输出格式

输出第一行一行字符包含 $5$ 个字符，格式如输入格式

输出第二行用于判断徐老师能否打电话，若可以则输出 Yes 否则输出 No

数据范围

对于所有数据保证时间合法（即为 00:00 到 23:59 之间）。

样例输入1

23:00

样例输出1

08:00
Yes

样例输入2

15:30

样例输出2

00:30
No

样例输入3

08:00

样例输出3

17:00
Yes