Turing Cup Online Synchronous Contest?

The NEUQ Turing Cup started in the academic year 2013-2014 with an offline contest. It is held annually. However, it is well known that starting from the 7th Turing Cup, NEUQ organized an online synchronous contest for universities nationwide. Due to some factors, the 10th Turing Cup did not hold an online synchronous contest.

Given a positive integer \(x\) representing the starting year of an academic year (i.e. the academic year spans from \(x\) to \(x+1\)), determine if the Turing Cup held an online synchronous contest during that academic year.

Let the tournament number be defined by the formula \(n = x - 2013 + 1\). The contest is online if and only if \(n \ge 7\) and \(n \neq 10\). Otherwise, it is not online.

Output Yes if it was online, and No if it was not.

inputFormat

The input consists of a single integer \(x\) representing the starting year of the academic year.

Constraints: \(x \ge 2013\).

outputFormat

Output a single line containing Yes if the contest in the academic year \(x\) to \(x+1\) is online, otherwise output No.

sample

2016

No