(30 May 2019, 3:02 pm)V514DFT wrote Could re-use numbers,like 3993,3994,dont forget the original numbers for 3995,3996 were originally 61**,so they could easily re-number 6000
Might not necessarily be as easy as that.
3995/6 never actually saw use as 6134/5. As 6000 has, it might be stuck with that number now.