背景

过去的一个月是农历新年，小方小块小鸟度过了一个有趣的传统中国年。他们从生肖、对联等传统习俗里积累了不少文化知识；过年的糖果、食物让他们大饱口福；还有大家最喜欢的烟花、炮竹，绚丽多彩又热闹非凡。可惜很快的，年就过完了，他们已经在期待下一个新年的到来。这天，他们在分享自己的新年见闻，又展开了很多有意思的对话。

描述

生肖是传统文化的一部分，据说来源于动物崇拜。古代中国人选定了十二种动物来纪年，按照顺序为

$ 鼠、牛、虎、兔、龙、蛇、马、羊、猴、鸡、狗、猪 $

一轮过后，又从头开始。

现在已经知道2024年是龙年（虽然严格上讲，2024年的1月还是属于兔年的，但简单期间我们就把整个2024年当成龙年），小方小块小鸟写一个程序，随便输入某一年，输出那一年的生肖。

输入输出格式

输入

一个正整数$year$，表示需要查询生肖的年份。( $0 ≤ year < 1,000,000,000,000,000,000 ( 10^{18})$ )

输出

对应的生肖。

样例

2025

蛇