在正方形ABCD中,AP=12,点A和点P是以EF为轴的对称点,则EF=?