圆O是直角三角形的内切圆,切点为D、E、F,若AF、BE的长为方程x的平方-13x+30=0的两个根,三角形ABC的面积