已知两个三角形ABC和三角形EFD满足AB/EF=AC/FD=2/5且三角形ABC周长为12,求EFD的周长?