线段AB上有任一点C,点E和点F分别是线段AC和线段CB的中点,若EF=4,则AB的长是(  )