如图，在四边形ABCD中，AB=6，∠ABC=90°，E在CD上，连接AE，BE，∠DAE=75°，若四边形ABED是菱形，则EC的长度为               .