0.711993932724