0.25717782974243