如图，已知半圆O的直径AB＝4，沿它的一条弦折叠．若折叠后的圆弧与直径AB相切于点D，且AD:DB＝3:1，则折痕EF的长      ．