Let ABCD be a rectangle with DA=12.
ABJ is an equilateral triangle with J inside ABCD.
CHI and EGF are congruent equilateral triangles with E and F on DA, H on CB, J on FG, and E, I, G, H collinear.

Find EF.