What height was the HS125 at when it overshot?
One would assume that if lost pressurization suddenly after a hit from another aircraft, you would descend the aircraft?
If it was a gradual depressurization, then you would have expected the pilots to get on the radio asking what the heck just about ran them over...