已知直角三角形ABC中,斜边AB=35,一个边长为12的正方形CDEF内接于△ABC,求△ABC的周长