A. Guizhou Historic Cities
time limit per test
1 second
memory limit per test
256 megabytes
input
standard input
output
standard output

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.

Examples
Input
zun yi
Output
No
Input
zhi jin
Output
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.