如图，⊙O的半径是4，△ABC是⊙O的内接三角形，过圆心O分别作AB，BC，AC的垂线，垂足为E，F，G，连接EF．若OG﹦1，则EF为．