Bạn đang chơi một trò chơi máy tính mới, trong đó bạn phải chiến đấu với quái vật. Trong một ngục tối bạn đang cố gắng dọn sạch, bạn đã gặp ba con quái vật:

Con đầu tiên có điểm máu là $a$, con thứ 2 là $b$ và con thứ 3 là $c$

Để tiêu diệt quái vật, bạn có thể sử dụng một khẩu pháo mà khi bắn, sẽ gây ra $1$ damage cho quái vật đã chọn. Mỗi lần bắn thứ $7$ sẽ là 1 cú bắn nâng cao( VD: là những lần bắn thứ $7,14,21,...,$) được tăng cường nên đồng thời gây ra $1$ gây sát thương cho tất cả quái vật. Nếu số điểm máu hiện tại của quái vật nào đó là $0$, nó không thể được chọn làm mục tiêu bởi một phát bắn thông thường và không nhận được thiệt hại từ một phát bắn nâng cao.

Bạn muốn vượt qua ngục tối một cách đẹp mắt, tức là, tiêu diệt tất cả quái vật bằng cùng một cú bắn nâng cao (tức là sau một phát bắn nâng cao, điểm máu của mỗi con quái vật phải bằng 0 lần đầu tiên). Mỗi phát bắn phải bắn trúng một con quái vật và gây sát thương cho con quái vật.

Input:

• chứa 3 số nguyên $a,b$ và $c$ $(1\le a,b,c\le {10}^8)$

Output:

• Hãy in "YES" nếu bạn có thể tiêu diệt tất cả quái vật bằng cùng một cú bắn nâng cao. Nếu không, hãy in "NO".

Example

Input1:

3 2 4

Output1:

YES

Input2:

10 1 7

Output2:

NO

Giải thích:

Trong test 1, bạn có thể làm như sau: lần bắn 1, vào con quái vật đầu tiên, lần bắn 2 vào con quái vật thứ hai, lần bắn 3 vào con quái vật thứ ba, lần bắn 4 vào con quái vật đầu tiên, lần bắn 5 vào con quái vật thứ ba, lần bắn 6 vào con quái vật thứ ba, và lần bắn 7 tăng cường sẽ giết chết tất cả các quái vật.