设计一个函数实现如下功能：输入年份、月历组数，输出相应格式的年历表头。支持的月历组数为1、2、3、4、6、12。 年历格式附后。

设计一个函数，可以接收两个参数：`year` 表示输入的年份，`calendar_count` 表示所需的月历组数，返回一个字符串，表示相应的年历表头。常见的月历格式通常包括月份名称和对应的天数。例如，对于每个月，我们可能会显示 "Jan" 对应 "31", "Feb" 对应 "28" 或 "29"（闰年），依此类推。

以下是函数的一个基本伪代码实现：

def generate_calendar_header(year, calendar_count):
    # 创建一个空列表存储每个月的日历信息
    months = ['Jan', 'Feb', 'Mar', 'Apr', 'May', 'Jun', 'Jul', 'Aug', 'Sep', 'Oct', 'Nov', 'Dec']
    
    # 检查输入的月历组数是否有效
    if calendar_count not in [1, 2, 3, 4, 6, 12]:
        return "Invalid calendar count. Please choose from 1 to 12."

    # 初始化结果字符串
    header = f"{'-' * 50}\n{year} YEAR CALENDAR\n{'-' * 50}\n"
    
    # 根据月历组数循环生成对应月份的日历
    for _ in range(calendar_count):
        for month in months:
            days_in_month = {1: 31, 2: (28 if not is_leap_year(year) else 29), 3: 31, 4: 30, 5: 31,
                             6: 30, 7: 31, 8: 31, 9: 30, 10: 31, 11: 30, 12: 31}[month]
            header += f"{month}: {' ' * (2 - len(month))}{days_in_month}\n"

        # 每组之间添加分隔线
        header += '\n' + '-'*79 + '\n'
        
    return header

# 辅助函数检查是否为闰年
def is_leap_year(year):
    if year % 4 != 0:
        return False
    elif year % 100 != 0:
        return True
    elif year % 400 != 0:
        return False
    else:
        return True

# 示例调用
header = generate_calendar_header(2023, 6)
print(header)