According to their installation instructions '74 and older axles are too short to use with their hard tails. I found a problem with that. My '74 axle was not too short. So, from my experience, I would say that any axle '74 and newer is the length that you need. If my ciphering is right, that would be 10-3/4", shank and threads, not including the head.
Scott