#include <stdio.h>
#include <string.h>
#define MAX 2000000

int n,A[MAX+1];
void insert(int);
void increase(int,int);
void max(int);
int extract();

int main(){
    int k;
    char CHAR[10];

    while(1){
        scanf("%s",CHAR);
        if(strcmp(CHAR,"end")==0) break;
        if(strcmp(CHAR,"insert")==0){
            scanf("%d",&k);
            insert(k);
        }
        else{
            printf("%d\n",extract());
        }
    }
    return 0;   
}

void insert(int k){
    n++;
    A[n]=-1;
    increase(n,k);
}
void increase(int n,int k){
    int temp;
     if(k<A[n]) return;
     A[n]=k;
     while(n>1 && A[n/2]<A[n]){
         temp=A[n];
         A[n]=A[n/2];
         A[n/2]=temp;
         n=n/2;
     }
}
void max(int i){
    int l,r,larg,temp;
    l=2*i;
    r=2*i+1;
    if(l<=n && A[l]>A[i]) larg=l;
    else larg=i;
    if(r<=n && A[r]>A[larg]) larg=r;

    if(larg!=i){
       temp=A[i];
       A[i]=A[larg];
       A[larg]=temp;
       max(larg);
    }
}
int extract(){
    int m;
    if(n<1) return 0;
    m=A[1];
    A[1]=A[n];
    n--;
    max(1);
    return m;
}
