a[9];main(t){for(;t=getchar()-10;a[t-37]++);for(t=11;--t;)for(;a[t]--;)putchar(47+t);}