三角形ABC,D、E、F分别是AB、BC、CA的中点,AH⊥BC,DE=8,求HF的长