#include <stdio.h>
#include <stdlib.h> int main()
{
while()
{
int i,sum=,max=,min=,t;
for(i=; i<; i++)
{
scanf("%d",&t);
sum += t;
if(t > max)
max=t;
if(t < min)
min = t;
}
if(sum == )
break;
else
printf("%g\n",(sum-max-min)/4.0);
}
return ;
}
max=0,min=999
设置用来让max和min都付成第一个数