[Utah-astronomy] Double star HIP not the same