AD是线段BC的垂直平分线,EF是线段AB的垂直平分线,点E在AC上,且BE+CE=20,则AB=