已知:如图,矩形DEFG内接于 于H,若AH=4cm,BC=12cm,ED:EF=1:2,则 .求EF的长度是多少 ?