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

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

int main(void) {
	// your code goes here
	int i,size;
	char *s;
	char t[1024];//tに大きめに枠を確保する
	scanf("%s",t);//tに文字列を入力させる
	size=myStrlen(t);
	s=(char *)malloc(sizeof(char)*(size+1));//size+1で終端文字を加えた文字列sの文字数
	//ここでsの動的確保をした
	if(s==NULL){
		printf("ERROR\n");
		return 0;
	}
	for(i=0;i<size;i++){
		s[i]=t[i];//動的確保したsに終端文字と文字列を代入
	}
	s[size]='\0';
	printf("%d:%s",size,s);
	free(s);
	return 0;
}