Cho ba số nguyên dương ~m~, ~n~, ~k~. Hãy kiểm tra xem có phải tích ~m \times n \times k~ là một số có nhiều hơn hai chữ số có nghĩa (không chứa chữ số ~0~ ở đầu) và có chữ số hàng đơn vị bằng ~0~ hay không.

Input

Gồm ba dòng, mỗi dòng chứa một số nguyên dương lần lượt tương ứng với ~m~, ~n~, ~k~. (~m, n, k \leq 2000~)

Output

In ra YES nếu ba số ~m~, ~n~, ~k~ thoả mãn điều kiện đề bài, ngược lại in ra NO.

Sample Test 1

Input:

5
5
5

Output:

NO

Sample Test 2

Input:

10
20
40

Output:

YES