#include <stdio.h>

int count(char data[]);

main(){
  char data[20], temp;

  while(1){
    scanf("%s", &data);
    if(data[0]=='E' && data[1]=='N' && data[2]=='D'){
      scanf("%s", &data);
      if(data[0]=='O' && data[1]=='F'){
	scanf("%s", &data);
	if(data[0]=='I' && data[1]=='N' && data[2]=='P' && data[3]=='U' && data[4]=='T'){
	  break;
	}
	else {
	  printf("32");
	  printf("%d@", count(data));
	}
      }
      else {
	printf("3");
	printf("%d@", count(data));
      }
    }
    temp=getchar();
    printf("%d", count(data));
    if(temp=='\n') putchar(temp);
  }
  return 0;
}


int count(char data[]){
  int count=0, i=0;

  while(1){
    if(data[i]=='\0') break;
    count++;
    i++;
  }

  return count;
}