#include<stdio.h>
int main()
{
	char a[99],ch;
	int i=0,count=1;
	while(ch!='\n')
	{
		ch=getchar();
		
		a[i]=ch;
		if(a[i]==' ')
		{
			count++;
		}
		i++;
	}
	a[i]='\0';	
	printf("%s",a);
	printf("%d",count);
	return 0;
	
}