如图，正方形ABCD的边长为10，内部有6个全等的正方形，小正方形的顶点E、F、G、H分别落在边AD、AB、BC、CD上，则DE的长为            ．