#include<stdio.h>
#include<string.h>
int main()
{
    int intline[3];
    char line[3];
    int i=0,temp=0;
    for(i=0;i<3;i++)
        scanf("%d",&intline[i]);
    getchar();
    for(i=0;i<3;i++)
        scanf("%c",&line[i]);
    for(i=0;i<3;i++)
        for(int j=0;j<2;j++)
            if(intline[j]>intline[j+1])
            {
                temp=intline[j];
                intline[j]=intline[j+1];
                intline[j+1]=temp;
            }
    for(i=0;i<3;i++)
        if(line[i]=='A')
            printf("%d ",intline[0]);
        else if(line[i]=='B')
            printf("%d ",intline[1]);
        else if(line[i]=='C')
            printf("%d ",intline[2]);
    return 0;
}