HIP 5134 _{[#800734546275]}