0.24915719032288