It's time for PE class at UCPC Elementary School. Today, there is a five-lap running assessment around the field.

Wookyung was not used to running that much, so he was filled with worries. To encourage him, the PE teacher smiled at Wookyung and said, "Don't worry too much. You may run slowly. You only need to complete $5$ laps in at most $1800$ seconds."

Thanks to the coach's encouragement, Wookyung gained courage and slowly began running. He started to get tired, but he pushed forward without giving up and eventually managed to complete $4$ laps.

Finally, the last lap. While catching his breath for a short bit, Wookyung started to get worried. "Did I run too slowly...? Can I still pass the assessment if I complete this last lap well enough...?" Being so exhausted, Wookyung felt it would take more than $300$ seconds to finish his last lap, but he made up his mind and decided to complete it exactly in $300$ seconds.

Given Wookyung's records of the $4$ laps he has already completed, find out whether he can pass the assessment if he completes his last lap in exactly $300$ seconds.

Input

Four lines of input are given. Each line contains $t_i$, denoting the time Wookyung took to complete each lap, measured in seconds. ($1 \leq t_i \leq 1800$)

Output

Print Yes if Wookyung can pass the assessment, and No otherwise.

Examples

Input 1

375
375
375
375

Output 1

Yes

Input 2

375
375
375
400

Output 2

No

Input 3

300
300
300
300

Output 3

Yes