#include <stdio.h>

int myStrlen(char s[]){
	int i;
	for(i=0;s[i]!='\0';i++){
		;
	}
	return i;
}

int main(){
	
	int lec;
	char s[100];
	scanf("%s",s);
	lec=myStrlen(s);
	printf("%s->%d",s,lec);
	return 0;
}