如图，正方形ABCD的顶点A，B与正方形EFGH的顶点G，H同在一段抛物线上，且抛物线的顶点同时落在CD和y轴上，正方形边AB与EF同时落在x轴上，若正方形ABCD的边长为4，则正方形EFGH的边长为