0.25209593772888