C++ :

#include<bits/stdc++.h>
using namespace std;
int cc[105];
int tt,ss,yy;
int main()
{
	cin>>cc[1]>>cc[2]>>cc[3];
	char t=getchar();
	getchar();
	if(t=='A')tt=1;
	if(t=='B')tt=2;
	if(t=='C')tt=3;
	char s=getchar();
	getchar();
	if(s=='A')ss=1;
	if(s=='B')ss=2;
	if(s=='C')ss=3;
	char y=getchar();
	getchar();
	if(y=='A')yy=1;
	if(y=='B')yy=2;
	if(y=='C')yy=3;
	sort(cc+1,cc+4);
	cout<<cc[tt]<<" "<<cc[ss]<<" "<<cc[yy];	
   return 0;
}