Mô tả

Oang hiện tại đang là 1 chủ tiệm bánh gồm có 2 sản phẩm: Cookie có giá 4đôla/cái và Donut có giá 7đôla/cái. Phong đang có N đôla và muốn mua bánh sao cho vừa đủ số tiền mình đang có. Nhiệm vụ của bạn sẽ xem là Phong có thể mua được đúng theo nguyện vọng của mình không? Nếu có thì in ra Yes còn nếu không thì in ra No.

Điều kiện

1 ≤ N ≤ 100 N là số nguyên.

Input

Input sẽ có dạng:

N

Output

Nếu Phong có thể mua được hết với N đôla thì in ra Yes còn nếu không thì No.

Example

Trường hợp này Phong có thể mua 1 chiếc bánh Donut và 1 chiếc bánh Cookie với tổng tiền = 4 + 7 = 11 (đúng bằng số tiền Phong có).