如图，矩形ABCD中，AD=4，O是BC边上的点，以OC为半径作⊙O交AB于点E，BE=AE，
把四边形AECD沿着CE所在的直线对折（线段AD对应A'D'），当⊙O与A'D'相切时，线段AB的长
是                    ．