0.7212347984314