Question 736827
These lengths come from the well known 5-12-13 right triangle. So 12