7.942412376403809