如图，AD是锐角△ABC的BC边上的高，正方形EFGH的一边EF在BC上，顶点G，H分别在AC，AB上，若BC＝15，AD＝10，则EF的长为 .