四边形ABCD是长方形,长12,宽7,三角形BCE的面积比三角形DEF小12,求DF的长.