Python程序：月份数字转英文缩写

month = int(input("请输入一个表示月份的数字（1～12）："));\n\nif month == 1:\n print("Jan")\nelif month == 2:\n print("Feb")\nelif month == 3:\n print("Mar")\nelif month == 4:\n print("Apr")\nelif month == 5:\n print("May")\nelif month == 6:\n print("Jun")\nelif month == 7:\n print("Jul")\nelif month == 8:\n print("Aug")\nelif month == 9:\n print("Sep")\nelif month == 10:\n print("Oct")\nelif month == 11:\n print("Nov")\nelif month == 12:\n print("Dec")\nelse:\n print("输入无效")