go shopping, turn off, telling a story, play chess, cross the street
空间四边形ABCD的各顶点坐标分别是A0,2,4,B2,0,2,C1,-1,1,D-1,3,1,E,F分别是AB与CD的中点,则EF的长为( )