如图，在四边形ABCD中，点E，F，G，H分别是AB，BC，CD，AD的中点，若四边形EFGH是矩形，且其周长是20，则四边形ABCD的面积的最大值是．