/* a filter to map all uppercase characters to lowercase */
#include<stdio.h>

int main()
{
  int Character;
     while ( (Character = getchar()) != EOF )
	     putchar ( tolower(Character) );
     return (0);
}