图中有两个正方形,A、C两点在打正方形的对角线上,△HAC是等边三角形.若AB=2a,求EF的长.