NGC 1717 是猎户座的一个星系。