HIP 4392 _{[#800768084331]}