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

京公网安备 11010502036488号