def term_key_to_semester_year(term_key):
    """
    Convert a 4-digit term number to semester and year
    """
    term_key = int(term_key)
    return ["Spring", "Summer", "Fall"][term_key % 10 // 2 - 2], 2000 + term_key % 1000 // 10