如果直角三角形的三条边长都是整数,且一条直角边长为4,周长为12,那么三角型的面积为