如图，三棱柱ABC—A₁B₁C₁的底面是正三角形且侧棱垂直于底面，
三棱柱ABC—A₁B₁C₁的每条棱长均为4，E、F分别是BC，A₁C₁
的中点，则EF的长等于         。