They were, however, allocated new serial numbers (67-14862/14866, 67-22579/22582 and 72-1526/1541).
Tuy nhiên, chúng được mang loạt số hiệu mới (67-14862/14866, 67-22579/22582 và 72-1526/1541).