int main()
{
	char data[1000];
	while(gets(data))
	{
		int len = strlen(data) ;
		printf("%s %d\n",data,len);
	}
	
	
	
	
	return 0;
}