These red-giants are known informally as technetium stars.
Raksasa merah ini secara informal dikenal sebagai bintang teknesium.