0.25411987304688