How high can an old man jump?