sqrt(17^2-6^2)