#include <stdio.h>
int main()
{
char ch1,ch2,ch3,t;
while(scanf("%c%c%c",&ch1,&ch2,&ch3)!=EOF){
getchar();
if(ch1>ch2){
t=ch1;
ch1=ch2;
ch2=t;
}
if(ch1>ch3){
t=ch1;
ch1=ch3;
ch3=t;
}
if(ch2>ch3){
t=ch2;
ch2=ch3;
ch3=t;
}
printf("%c %c %c\n",ch1,ch2,ch3);
}
return 0;
}