#include <stdio.h>

int main() {
    char str[1000001];
    int i=0;
    scanf("%s",str);
    while(str[i]!='\0')
    {
        if(str[i]=='5')
        {
            str[i]='*';
        }
        ++i;
    }
    printf("%s\n",str);
}