在Rt△ABC中,∠C=90°,以AB为一边向三角形外作正方形ABEF,正方形的中心为O,OC=4根号2,则BC的长为