#include <bits/stdc++.h>
char t[30];
char s[500050];
void imp(int n);
int main() {
  int i, j, b, n;
  scanf("%s", s);
  for (i = b = 0; i < 26 && s[i] != '\0'; i++) {
    if (s[i] != '?') {
      t[s[i] - 'A']++;
      if (t[s[i] - 'A'] == 2) {
        b++;
      }
    }
  }
  if (i != 26) {
    printf("-1");
    return 0;
  }
  for (; s[i] != '\0'; i++) {
    if (b == 0) {
      imp(i);
      return 0;
    }
    if (s[i] != '?') {
      t[s[i] - 'A']++;
      if (t[s[i] - 'A'] == 2) {
        b++;
      }
    }
    if (s[i - 26] != '?') {
      t[s[i - 26] - 'A']--;
      if (t[s[i - 26] - 'A'] == 1) {
        b--;
      }
    }
  }
  if (b == 0) {
    imp(i);
  } else {
    printf("-1");
  }
  return 0;
}
void imp(int n) {
  int i, j;
  for (i = n - 26; i < n; i++) {
    if (s[i] == '?') {
      for (j = 0; t[j] != 0; j++)
        ;
      t[j] = 1;
      s[i] = 'A' + j;
    }
  }
  for (i = 0; s[i] != '\0'; i++) {
    if (s[i] == '?') {
      s[i] = 'A' + rand() % 26;
    }
  }
  printf("%s\n", s);
}
