def read_dot_name(filename):
    """Read ids from .name file. (ZINC12345678 -> C12345678)"""
    f = open(filename, 'r')
    idstr = f.readline().split()[0]
    ids = [idstr] + [x.split()[0] for x in f]
    f.close()
    return ids