#include <bits/stdc++.h>
int main() {
  int n;
  char c[10];
  scanf("%d", &n);
  getchar();
  if (n == 24) {
    gets(c);
    if (c[0] > '2') {
      c[0] = '0';
      if (c[3] > '5') c[3] = '0';
    }
    if ((c[0] == '2') && (c[1] > '3')) {
      c[1] = '0';
      if (c[3] > '5') c[3] = '0';
    }
    if (c[3] > '5') c[3] = '0';
  }
  if (n == 12) {
    gets(c);
    if (c[0] > '1') {
      if (c[1] == '0')
        c[0] = '1';
      else
        c[0] = '0';
      if (c[3] > '5') c[3] = '0';
    }
    if (c[0] == '0') {
      if (c[3] > '5') c[3] = '0';
      if (c[1] == '0') c[1] = '1';
    }
    if (c[3] > '5') c[3] = '0';
    if ((c[0] == '1') && (c[1] > '2')) c[1] = '0';
  }
  puts(c);
  return 0;
}
