如图，矩形ABCD中，AB=8，BC=4．点F在边AB上，点E在边CD上，点G、H在对角线AC上．若四边形EGFH是菱形，则AF的长是