一个三角形的三边长分别为7、24、25,则其面积为______.