Both “NGC 1258” and “NGC 1288” are southern galaxies, and there is no “NGC 12588” as the NGC ends at 7840. Could you clarify which galaxy you are discussing?