0.80472493171692