Радиус окружности, описанной около прямоугольного треугольника, равен 12,5, а один из его катетов равен 20. Найдите другой катер этого треугольника.