int main(){
int a[10]={},t;
for(;t=getchar()-10;a[t-38]++);
for(t=10;t--;)for(;a[t]--;)putchar(48+t);
return 0;
}