#include <bits/stdc++.h>
using namespace std;
int main() {
  int a;
  int HH, MM;
  char ch;
  cin >> a;
  cin >> HH >> ch >> MM;
  if (a == 24) {
    if (HH > 23) {
      HH = HH % 10;
    }
    if (MM > 59) MM = MM % 10;
  } else {
    if (HH > 12) {
      HH = HH % 10;
      if (HH == 0) HH = 10;
    } else {
      if (HH == 0) HH = 1;
    }
    if (MM > 59) {
      MM = MM % 10;
    }
  }
  cout << setw(2) << setfill('0') << HH << ":";
  cout << setw(2) << setfill('0') << MM << endl;
  return 0;
}
