题目背景

快乐的嗑CP时间！

题目描述

尽管罗恩吃醋了许多次，德拉科和赫敏依然决定在$Y$年$M$月$D$日举办婚礼。

由于他们是魔法人士，所以他们坚信在带有$13$的日子里结婚是不吉利的。

输入

输入$1$行 一个字符串$S$，输出它是否适合结婚。

$S的长度=8$

例：$20111004$ 表示 $2011$ 年 $10$ 月 $04$ 日

输出

一行，Yes 或 No 。

样例

样例1

20131010

No

样例2

20141010

Yes

# 限制

1000ms, 256KiB for each test case.