如图，已知正方形ABCD的边长为1，以顶点A、B为圆心，1为半径的两弧交于点E，以顶点C、D为圆心，1为半径的两弧交于点F，则EF的长为   ▲  ．