如图，四边形OABC是矩形，ADEF是正方形，点A、D在x轴的正半轴上，点C在y轴的正半轴上，点F在AB上，点B、E在反比例函数的图象上，OA=1，OC=6，则正方形ADEF的边长为     ．