#include <stdio.h>

int  strlen(char s[]){
	int i;
	for(i=0;s[i]!='\0';i++){
		;
	}
	return i;
	
}
int main(void){
	
	int len;
	char s[1024];
	scanf("%c",s);
	
	len=strlen(s);
	printf("%c->%d\n",s,len);
	
	return 0;
	
}