#include <stdio.h>
int main () {
char a[101], b[700];
int i, j, k, n, i0;
scanf("%s", a);
for (i = 0; a[i] != '\0'; i++) {
if (a[i] >= '1' && a[i] <= '9') {
n = a[i] - '0';
j = i+1;
i0 = i;
while (a[j] >= '1' && a[j] <= '9') {
n = ((n * 10) + (a[j] - '0'));
j++;
i++;
}
if (n > 7) n = n%7 + 1;
for (k = 0; k < n-1; k++) {
printf("%c", a[i0-1]);
}
}
else {
printf("%c", a[i]);
}
}
return 0;
}