char c,s[1],i=100;main(){while(i--){read(0,&c,1);s[c-48]++;}for(;i<10;i++){while(s[i]--)printf("%d",i);}}