将短月份名称转换为数字

def convert_month(month):
    months = {
        'Jan': 1,
        'Feb': 2,
        'Mar': 3,
        'Apr': 4,
        'May': 5,
        'Jun': 6,
        'Jul': 7,
        'Aug': 8,
        'Sep': 9,
        'Oct': 10,
        'Nov': 11,
        'Dec': 12
    }
    return months.get(month)

print(convert_month('Jan'))  # 输出：1
print(convert_month('Mar'))  # 输出：3