Qual é a média aritmética dos números 7,15?