3. 获取月份名称

【问题描述】获取月份名称（可参考获取星期字符串）。用户输入一个表示月份的数字（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)