import java.util.*;
import java.io.*;

public class Main {
   public static void main(String[] args) throws Exception {
      PrintWriter out = new PrintWriter(System.out);
      FastScanner in = new FastScanner(System.in);
      Question ob = new Question();
      ob.solve(in, out);
      out.close();
   }

   static class Question {
   	int[] freq, req;

      public void solve(FastScanner in, PrintWriter out) {
      	int[] days = {0, 31, 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31};

      	String s = in.next();
      	freq = new int[10];
      	req = new int[10];
      	for (int i = 0; i < s.length(); i += 2) freq[s.charAt(i) - 48]++;

        // for (int i : freq) out.print(i + " ");

      	for (int m = 12; m >= 1; --m) {
      		for (int d = days[m]; d >= 1; --d) {
      			for (int h = 23; h >= 0; --h) {
      				for (int mi = 59; mi >= 0; --mi) {
      					req[fi(m)]++;
      					req[se(m)]++;

      					req[fi(d)]++;
      					req[se(d)]++;

      					req[fi(h)]++;
      					req[se(h)]++;

      					req[fi(mi)]++;
      					req[se(mi)]++;

      					if (valid()) {
      						out.print("" + fi(m) + se(m) + "/");
      						out.print("" + fi(d) + se(d) + " ");
      						out.print("" + fi(h) + se(h) + ":");
      						out.print("" + fi(mi) + se(mi));
      						return;
      					}
      					Arrays.fill(req, 0);
      				}
      			}
      		}
      	}
      	out.println(0);
      }

      private boolean valid() {
      	for (int i = 0; i < 10; ++i) {
      		if (freq[i] < req[i]) return false;
      	}
      	return true;
      }

      private int fi(int x) { return x/10; }

      private int se(int x) { return x%10; }
   }
}

class FastScanner
{
   private InputStream stream;
   private byte[] buf = new byte[1024];
   private int curChar;
   private int numChars;

   public FastScanner(InputStream stream)
   {
      this.stream = stream;
   }

   int read()
   {
      if (numChars == -1)
         throw new InputMismatchException();
      if (curChar >= numChars)
      {
         curChar = 0;
         try
         {
            numChars = stream.read(buf);
         }
         catch (IOException e)
         {
            throw new InputMismatchException();
         }

         if (numChars <= 0)
            return -1;
      }
      return buf[curChar++];
   }

   boolean isSpaceChar(int c)
   {
      return c==' '||c=='\n'||c=='\r'||c=='\t'||c==-1;
   }

   boolean isEndline(int c)
   {
      return c=='\n'||c=='\r'||c==-1;
   }

   int nextInt()
   {
      return Integer.parseInt(next());
   }

   long nextLong()
   {
      return Long.parseLong(next());
   }

   double nextDouble()
   {
      return Double.parseDouble(next());
   }

   String next()
   {
      int c = read();
      while (isSpaceChar(c))
         c = read();
      StringBuilder res = new StringBuilder();
      do
      {
         res.appendCodePoint(c);
         c = read();
      } while(!isSpaceChar(c));
      return res.toString();
   }

   String nextLine()
   {
      int c = read();
      while (isEndline(c))
         c = read();

      StringBuilder res = new StringBuilder();
      do
      {
         res.appendCodePoint(c);
         c = read();
      } while(!isEndline(c));
      return res.toString();
   }
}