如图，在△ABC中，BC边上的垂直平分线DE交边BC于点D，交边AB于点E．若△EDC的周长为24，△ABC与四边形AEDC的周长之差为12，则线段DE的长为．