I'd use the one that was installed with the clutch you are using. ie the one from the broken gearbox. The different lengths are there to cope with differences in the clutch assembly, not the length of the box itself which has to be accurate or the engine mounting bolts wouldn't line up.