<image>The square $A B C D$ has area 80. The points $E, F, G$ and $H$ are on the sides of the square and $\mathrm{AE}=\mathrm{BF}=\mathrm{CG}=\mathrm{DH}$. How big is the area of the grey part, if $\mathrm{AE}=3 \times \mathrm{EB}$?