【问题描述】获取月份名称(可参考获取星期字符串)。用户输入一个表示月份的数字(1~12),输出对应的月份英文缩写名称。例如输入3,返回“Mar”
【输入形式】通过键盘输入表示月份的数字(1~12)
【输出形式】
【样例输入】
3
【样例输出】
Mar
【样例说明】
【评分标准】
num = int(input())
month = ['Jan', 'Feb', 'Mar', 'Apr', 'May', 'Jun', 'Jul', 'Aug', 'Sep', 'Oct', 'Nov', 'Dec']
name = month[num - 1]
print(name)