梯形的高长为12,两条对角线的长分别为15和20,则梯形的面积一定是( )