#include <stdio.h>
int main()
{
	int score = 0, max = 0, min = 100, sum = 0, count = 0; 
	while (scanf("%d", &score) != EOF)
	{
		if (score > max)
			max = score;  
		if (score < min)
			min = score; 
		sum += score; 
		count++; 
		if (count == 7)
		{
			printf("%.2f\n", (sum - max - min) / 5.0);
			max = 0, min = 100, sum = 0, count = 0;
		}
	}
	return 0; 
}