Радиусы двух шаров равны 15 и 20. Расстояние между их центрами равно 25. Найдите длину окружности, получающейся при пересечении поверхностей этих шаров.