import re


def header_section_to_index(section):
    """Convert a header section keyword to four indices."""
    return [int(num) for num in re.split(':|,', section.replace('[', '').replace(']', ''))]