# include <stdio.h>

void myStrcat(char s[], char t[]){
	int i;
	for(i=0;s[i]!='\0';i++);
	for(int j=0;t[j]!='\0';j++){
		s[i+j]=t[j];
	}
	printf("%d",i);

}

int main(){
    char s[100];
    char t[100];
    scanf("%s %s",s,t);
    printf("%s + %s",s,t);
    myStrcat(s,t);
    printf(" -> %s\n",s);
    return 0;
}