問題

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

---

入力

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

yyyyが西暦，mmが月，ddが日を表している．

出力

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

制約

• 1000 \leq yyyy \leq 9999
• 与えられる日付は，正しい日付を表している．

---

入力例 1

2012/12/02

入力例 1 に対する出力例

yes

---

入力例 2

1000/01/01

入力例 2 に対する出力例

no

---

入力例 3

9999/12/31

入力例 3 に対する出力例

no