如图,梯形BCD中,AB‖DC,∠B=90°,E为BC上一点,且AE⊥ED,若BE=4,EC=8,DC=7,则AB的长为