HIP 10258 _{[#2007930671810]}