棱长为1的正方体ABCD-A1B1C1D1的8个顶点都在球。的内表面上，E，F分别是棱AA1，DD1的中点，则直线EF被球O截得的线段长为( )。