如图,已知四边形ABCD是矩形,AB=3,BC=4,把矩形折起,使点C与点A重合,折痕为EF,试求EF的长