/* To Read a char from KB until $ and convert upper to lower*/
#include<stdio.h>
main()
{
	int i,j;
	char a[150],b[150];
	for(i=0,scanf("%c",&a[i]);a[i]!='$';i++,scanf("%c",&a[i]));
	a[i]='\0';
	for(i=0,j=0;a[i]!='\0';i++,j++)
		b[j]=(a[i]>=65 && a[i]<=90)?a[i]+32:a[i];
	b[j]='\0';
	for(j=0;b[j]!='\0';j++)
	printf("%c",b[j]);
	getch();
}