Circles · Hard problem

Two circles of radii $9$ and $4$ are externally tangent. Find the length of their common external tangent segment (the segment joining the two points of tangency).