1023 Have Fun with Numbers (20 分)-PAT甲级

Notice that the number 123456789 is a 9-digit number consisting（由……组成） exactly the numbers from 1 to 9, with no duplication（重复）. Double（两倍） it we will obtain 246913578, which happens to be another 9-digit number consisting exactly the numbers from 1 to 9, only in a different permutation（排列）. Check to see the result if we double it again!

Now you are suppose to check if there are more numbers with this property. That is, double a given number with k digits, you are to tell if the resulting number consists of only a permutation of the digits in the original（原来的） number.

Input Specification:

Each input contains one test case. Each case contains one positive integer with no more than 20 digits.

Output Specification:

For each test case, first print in a line "Yes" if doubling the input number gives a number that consi