#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#define max 200
void step(char [], int, int, int  *);
void swap(char *, char *);
int main()
{
    char str[max+1];
    scanf("%s", str);
    int n = 0;
    step(str, 0, strlen(str), &n);
    return 0;
}
void step(char str[], int row, int len, int *n){
    int i;
    if(row <= len -1){
        for(i = row; i < len ; i++){
            swap(&str[i], &str[row]);//交换下一个元素
            step(str, row+1 ,len, n );
            swap(&str[i], &str[row]);//还原元素，保持上一状态
        }
    }else        printf("%d: %s\n", 1+(*n)++, str);

}

void swap(char * a, char * b){
    char tmp;
    tmp = *a;
    *a = *b;
    *b = tmp;
}