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

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

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