#描述#
You know everyone is assigned an id when he is born in our country. It is an 18-digit or 16-digit string. It has something to do with your resident place, birthday and others. </P>
<P>In some place, the id has the form:<FONT FACE="宋体" LANG="ZH-CN"> "YYYYMMDDCCCC"</P><DIR>

</FONT>
<li><P ALIGN="JUSTIFY"><FONT FACE="Symbol" SIZE=2>  </FONT><FONT SIZE=3>YYYY are the year.</P>
</li>
</FONT>
<li><P ALIGN="JUSTIFY"><FONT FACE="Symbol" SIZE=2>  </FONT><FONT SIZE=3>For males, MM is a two-digit number of the month, i.e., a number between 01 and 12, inclusive.</FONT></P>
</li>
<li><P ALIGN="JUSTIFY"><FONT SIZE=3>For females, MM is the number of the month increased by 50, i.e., a number between 51 and 62, inclusive.</P>
</li>
</FONT>
<li><P ALIGN="JUSTIFY"><FONT FACE="Symbol" SIZE=2>  </FONT><FONT SIZE=3>DD is a two digit number of the day in the month.</P>
</li>
</FONT>
<li><P ALIGN="JUSTIFY"><FONT FACE="Symbol" SIZE=2>  </FONT><FONT SIZE=3>CCCC are four arbitrary digits that are used both as a checksum and as a way to distinguish between different people born on the same day.<BR>
The checksum property works as follows: the digits CCCC must be chosen in such a way that the entire 12-digit number is divisible by eleven (11).</FONT></P>
</li>
</DIR>

<P>　

#格式#
##输入格式##
The input will be multiply cases. each case will be a 12-digit string as an id.

##输出格式##
Firstly, output the case order. Then if the id is valid output “Yes” else “No”

#样例1#
##样例输入1##

198104121237
198134120005
200411131237

##样例输出1##

Case 1: Yes
Case 2: No
Case 3: No

#限制#
1000ms
32768KB

#提示#

#来源#
BJL