如图，直角坐标系xOy中，四边形ODEF和四边形ABCD都是正方形，点F在x轴的正半轴上，点C在边DE上，反比例函数 （k≠0，x＞0）的图象过点B，E.若AB=2，则正方形ODEF的边长为.