Description

Guizhou is home to many cities with a long history and rich cultural heritage. After the third batch of provincial-level historic cities was announced in 2024, Guizhou has the following $12$ national-level or provincial-level historic cities:

• National-level historic cities: zun yi (遵义) and zhen yuan (镇远);
• Provincial-level historic cities: an shun (安顺), zhi jin (织金), da fang (大方), shi qian (石阡), li ping (黎平), fu quan (福泉), an long (安龙), pu ding (普定), si nan (思南), and zhen feng (贞丰).

Given a place name written in lowercase Pinyin, determine whether it is in the list of provincial-level historic cities above. National-level historic cities are not considered provincial-level historic cities in this problem.

Input

There is only one test case in each test file.

The first line contains two strings $a$ and $b$ ($1 \le |a|, |b| \le 6$), representing the Pinyin of a place name. Each string consists of lowercase English letters. The two strings are separated by exactly one space.

Output

If the place name is in the list of provincial-level historic cities, print Yes. Otherwise, print No.

Sample Input 1

zun yi

Sample Output 1

No

Sample Input 2

zhi jin

Sample Output 2

Yes

Note

In the first sample, zun yi refers to Zunyi (遵义), which is a national-level historic city. This problem only asks about provincial-level historic cities, so the answer is No.

In the second sample, zhi jin refers to Zhijin (织金), which is a provincial-level historic city, so the answer is Yes.