Is 5 9 short for