These red-giants are known informally as technetium stars.
Овие црвени гиганти се познати неформално како технициумски ѕвезди .