char s[1],i=100;main(){while(i--){read(0,&s,1);s[s]++;}while(58-i++){while(s[i]--)write(1,&i,1);}}