#include<stdio.h>
int stuck[10000];
int i=0,n;
int extract(){
  int max,j,num,tmp;
 max=stuck[0];
  for(j=1;j<i;j++){
    if(max<stuck[j]) {
      max=stuck[j];
      num=i;
    }
    for(j=num;j<i;j++){
      stuck[j]=stuck[j+1];
    }
  }
  i--;
  return max;
}

int main(){
  int n,x,a;
  char c[20];
  while(1){
    scanf("%s",c);
    if(c[0]=='i'){
      i++;
      scanf("%d",&a);
      stuck[i-1]=a;
    }
    else{
      if(c[1]=='x'){
	printf("%d",extract());
      }

      if(c[1]=='n'){
	break;
      }
    }
  }
  return 0;
}