题目描述

我们中国人对老鼠的感情可不一般，鼠是中国传统十二生肖之首。

那么2020年出生的“20后”是否都是“鼠宝宝”呢？其实不是，2020年1月1日~1月24日出生的“20后”，仍然是“猪宝宝”，因为他们出生在农历己亥猪年；大年初一( 1月25日) 及之后出生的“20后”才是“鼠宝宝”。那么接下来请你判断一下，以下生日的宝宝是“猪宝宝”还是“鼠宝宝”?

输入格式

符合常识的两个空格分隔的整数month，day，分别代表宝宝出生的月份及日子， ( 1<=month<=12，1<=day<=31 )。

输出格式

若是“猪宝宝”请输出"Pig"；若是“鼠宝宝”请输出"Mouse"。

样例数据

input

1 1

output

Pig

数据规模与约定

时间限制：$1 \text{s}$

空间限制：$256 \text{MB}$