#include <stdio.h>

int main()
{
    char arr[1000000];
    scanf("%s",arr);
    char*left=arr;
    while(*left!='\0')
    {
        if(*left=='5')
        {
            *left='*'; 
        }
         left++;   
    }
   printf("%s",arr);
}