#include <stdio.h>

int main(void) {
	// your code goes here
	char ch;
	ch=getchar();
	ch=ch+32;
	printf("%c,%d\n",ch,ch);
}