NGC 1712 是剑鱼座的一个星系。