#include <stdio.h>
#include <string.h>

void salting(char password[]);

int main() {
    char password[100];
    fgets(password,100,stdin);
    salting(password);
}

void salting(char password[]){
    char salt[] = "$alt";
    char newpassword[100];
    strcpy(newpassword, password);
    strcat(newpassword, salt);
    puts(newpassword);
}