002 - 2012年12月02日

問題

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