#include <stdio.h>
int main(){
int i;
char s1[99]="TRDYFHBMNIT23";
for(i=0;s1[i]>=65&&s1[i]<=90;i=i+1)
{ s1[i]=s1[i]+32;}
printf("%s",s1);
}