第1关：月份数字转英文名称
任务描述
本关任务：编写一个能输入月份数字，返回对应月份英文名称缩写的小程序。
相关知识
为了完成本关任务，你需要掌握：字符串的使用。
编程要求
根据提示，在右侧编辑器补充代码，输出月份的简写。
测试说明
平台会对你编写的代码进行测试：
测试输入：7
预期输出：
月份简写是Jul.
注意：缩写后面有一个英文句点。
开始你的任务吧，祝你成功！
############Begin############
pos = (monthid - 1)*3
print('月份简写是{}.'.format(monstr