在三角行ABC中,DE是AC的垂直平分线,AE=3,三角形ABC的周长是13,求三角形ABD的周长.