#include <stdio.h>

void insert(int *, int k);
int extractMax(int *);

int n=0;

int main(){

int S[1000],k;
char com[10];

while(1){
  scanf("%s",com);
  if(com[0]=='i'){
    scanf("%d",&k);
    insert(S,k);
  }
  else if(com[1]=='x') printf("%d\n",extractMax(S));
  else break;
}

  return 0;

}

void insert(int *S, int k){

int i,j,x,c=0;

if(n==0)S[0]=k;
else{
  for(i=0 ; i<n ; i++){
    if(S[i]>k){
      x=S[i];
      S[i]=k;
      for(j=n+1 ; j>i+1 ; j--){
          S[j+1]=S[j];
        }
        S[i+1]=x;
        c++;
        break;
      }
    }
    if(c==0) S[n]=k;
  }

n++;

}

int extractMax(int *S){

int i,x;
x=S[n-1];

n--;

  return x;

}