問題
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