def split_filter(filter):
    """Split a string like "A3d" or "A3d/28" or "A3d/28/28a3d1.xml" into three parts, returning None for parts not included."""
    return (filter.split("/") + [None, None])[:3]