请问以下Python，输入1-12的月份数字，输出对应的月份简称，用字符串切片方式

可以使用以下代码实现：

months = "JanFebMarAprMayJunJulAugSepOctNovDec"
num = int(input("请输入1-12的月份数字："))
month = months[(num-1)*3:num*3]
print(month)

输入数字后，程序会根据数字计算出对应的月份简称并输出。例如输入3，输出Mar。