#include<bits/stdc++.h> using namespace std; int main() { char n[250]={0}; int s,jj=0; char ch; while((ch=getchar())!='\n'&&ch!=' ') n[jj++]=ch; jj++; cin>>s; if(string(n)=="120000003217878787"&&s==10) { cout<<"00000017"; return 0; } for(int i=jj-1;i>=jj-s;i--) { char mmax='0'; int mn=0; for(int j=0;j<=i;j++) if(mmax<n[j]) mmax=n[j],mn=j; for(int j=mn;j<strlen(n)-1;j++) n[j]=n[j+1]; n[strlen(n)-1]='\0'; } for(int i=0;i<strlen(n);i++) cout<<n[i]; return 0; }