如图，已知半圆O的直径AB=4，沿它的一条弦折叠，若折叠后得圆弧与直径AB相切于点D，且AD：BD=3：1，则折痕EF的长为 ；