AT_utpc2012_01 2012年12月02日

题目描述

今天是 $2012$ 年 $12$ 月 $02$ 日,将由月和日构成的数字 $1202$ 重新排列可以变成表示年份的 $2012$ ,这样的日子就是好日子。判断给出的日期是否是好日子。

输入格式

输入一行字符串 $y/m/d$ 代表日期,$y$ 是一个四位数,$m$ 和 $d$ 是一个可以由 $0$ 开头的两位整数。 $y$ 代表年,$m$ 代表月,$d$ 代表日。

输出格式

如果给定的日期是好日子,输出```yes```,否则输出```no```。