如图,正三棱柱ABC-A 1 B 1 C 1 的各棱长都为2,E,F分别是AB,A 1 C 1 的中点,则EF的长是 [