#include <stdio.h>
#include <stdlib.h>

int myStrlen(char s[]);

int myStrlen(char s[]){
	int i;
	for(i=0; s[i]!='\0'; i++);
	return i;
}
int main(void) {
	int i;
	char *a;
	char t[1024];
	scanf("%s",t);
	int size;
	size=myStrlen(t);
	a=(char *)malloc(sizeof(char)*(size+1));
	if(a==NULL){
		printf("ERROR\n");
		return 0;
	}
	for(i=0; i<size; i++){
		a[i]=t[i];
	}
	a[size]='\0';
	printf("%d:%s",size,a);
	free(a);
	return 0;
}