如图,在菱形ABCD中,AB=17,BD=16,点E为对角线BD延长线上的一点,且AE=25,求DE的长.