They were given the designations NP 0527 and NP 0532.
它们的编号是NP 0527和NP 0532。