Divisibility rule

Input

One number $n$ (the length of the number does not exceed $10000$ binary digits).

Output

Print YES, if number $n$ is divisible by $15$, and NO otherwise.

Examples