002 - 2012年12月02日

時間制限 2 秒 / メモリ制限 64 MB / 得点 100 / x 27 /


TLE
2sec
MLE
64MB
得点
100

問題

2012年12月02日は、月日を構成する数字1202を並べ替えると西暦を表す数字2012になる. このような日を良い日という事にする. 与えられた日付が良い日かどうかを答えよ.

入力

yyyy/mm/dd という形の文字列が一行で与えられる. yyyyは,4桁の整数,mmは先頭が0でありうる2桁の整数,ddは先頭が0でありうる2桁の整数である.

yyyyが西暦,mmが月,ddが日を表している.

出力

与えられた日付けが良い日であるならば,'yes' 良い日でないならば,'no' を一行に出力せよ.

制約

  • 1000 ≤ yyyy ≤ 9999
  • 与えられる日付は,正しい日付を表している.

入出力例

入力例 1

2012/12/02

入力例 1 に対する出力例

yes

入力例 2

1000/01/01

入力例 2 に対する出力例

no

入力例 3

9999/12/31

入力例 3 に対する出力例

no