def month_name(n):
    """ n is an integer 1-12
this returns the month for the number 1 -> Jan 2 -> Feb, etc
returns ERROR in other cases."""
    if n == 1:
        return "Jan"
    if n == 2:
        return "Feb"
    if n == 3:
        return "Mar"
    if n == 4:
        return "Apr"
    if n == 5:
        return "May"
    if n == 6:
        return "Jun"
    if n == 7:
        return "Jul"
    if n == 8:
        return "Aug"
    if n == 9:
        return "Sep"
    if n == 10:
        return "Oct"
    if n == 11:
        return "Nov"
    if n == 12:
        return "Dec"
    else:
        return "ERROR"
def month_name_better(n):
    if n < 0 or n > 13:
        return "ERROR"
    names = ["", "Jan", "Feb", "Mar", "Apr", "May", "Jun", "Jul", "Aug", "Sep", "Oct", "Nov", "Dec"]
    return names[n]