已知直角三角形的周长为30,斜边长为13,求这个直角三角形的面积.