1677: 宁宁的生肖

宁宁最近迷上了十二生肖。通过查阅资料发现：中国人习惯把每个人的出生年与一种动
物联系起来，这些动物分别是鼠、牛、虎、兔、龙、蛇、马、羊、猴、鸡、狗和猪（对应的
英文单词 Rat, Ox, Tiger, Rabbit, Dragon, Snake, Horse, Ram, Monkey, Rooster, Dog and Pig）。
并且这种表示方式可以重复循环。
今年（2017）是中国的鸡年。在中国计算一个人的年龄时，有一种“虚岁”的叫法。如
新出生的婴儿年龄是 1 岁，而不是 0 岁。
现在给出一个人的今年的“虚岁”年龄，请你帮助宁宁计算出与之相对应的十二生肖动物。

输入文件一行。一个整数 y，表示某个人的虚岁年龄。

相关联的十二生肖动物名称。

7

Rabbit