80 percent of 7.888000000 = 6.3104000000000005