Qual é o triplo de 80?