如图，在矩形ABCD中，AB=4，AD=2，点E在CD上，DE=1，点F是边AB上一动点，以EF为斜边作Rt△EFP．若点P在矩形ABCD的边上，且这样的直角三角形恰好有两个，则AF的值是。