已知三角形ABC的三边长分别是5,13和12,则三角形ABC的面积是多少