import java.io.IOException;
import java.io.InputStream;
import java.util.Arrays;
import java.util.NoSuchElementException;

class Main {
	public static void main(String[] args) throws Exception {
		new Main().run();
	}
	
	void run() {
		Scanner sc=new Scanner();
		char[] cs=sc.next().toCharArray();
		int[] a=new int[cs.length];
		for(int i=0;i<a.length;++i)a[i]=(int)(cs[i]-'0');
		int y=a[0]*1000+a[1]*100+a[2]*10+a[3];
		int m=a[5]*10+a[6];
		int d=a[8]*10+a[9];
		int[] cur= {y,m,d};
		cur=next(cur[0],cur[1],cur[2]);
		cur=next(cur[0],cur[1],cur[2]);
		y=cur[0];
		m=cur[1];
		d=cur[2];
		System.out.println(y+"/"+m/10+""+m%10+"/"+d/10+""+d%10);
	}
	
	int[] next(int y,int m,int d) {
		++d;
		int M=31;
		if(m==2||m==4||m==6||m==9||m==11) {
			if(m==2)M=28;
			else M=30;
		}
		if(y%4==0&&!(y%100==0&&y%400!=0)&&m==2)M=29;
		m+=(d-1)/M;
		d=(d-1)%M+1;
		y+=(m-1)/12;
		m=1+(m-1)%12;
		return new int[]{y,m,d};
	}
	
	static void tr(Object... objects) {
		System.out.println(Arrays.deepToString(objects));
	}

}

class Scanner {
    private final InputStream in = System.in;
    private final byte[] buffer = new byte[1024];
    private int ptr = 0;
    private int buflen = 0;
    private boolean hasNextByte() {
        if (ptr < buflen) {
            return true;
        }else{
            ptr = 0;
            try {
                buflen = in.read(buffer);
            } catch (IOException e) {
                e.printStackTrace();
            }
            if (buflen <= 0) {
                return false;
            }
        }
        return true;
    }
    private int readByte() { if (hasNextByte()) return buffer[ptr++]; else return -1;}
    private static boolean isPrintableChar(int c) { return 33 <= c && c <= 126;}
    public boolean hasNext() { while(hasNextByte() && !isPrintableChar(buffer[ptr])) ptr++; return hasNextByte();}
    public String next() {
        if (!hasNext()) throw new NoSuchElementException();
        StringBuilder sb = new StringBuilder();
        int b = readByte();
        while(isPrintableChar(b)) {
            sb.appendCodePoint(b);
            b = readByte();
        }
        return sb.toString();
    }
    public long nextLong() {
        if (!hasNext()) throw new NoSuchElementException();
        long n = 0;
        boolean minus = false;
        int b = readByte();
        if (b == '-') {
            minus = true;
            b = readByte();
        }
        if (b < '0' || '9' < b) {
            throw new NumberFormatException();
        }
        while(true){
            if ('0' <= b && b <= '9') {
                n *= 10;
                n += b - '0';
            }else if(b == -1 || !isPrintableChar(b)){
                return minus ? -n : n;
            }else{
                throw new NumberFormatException();
            }
            b = readByte();
        }
    }
    public int nextInt() {
        long nl = nextLong();
        if (nl < Integer.MIN_VALUE || nl > Integer.MAX_VALUE) throw new NumberFormatException();
        return (int) nl;
    }
    public double nextDouble() { return Double.parseDouble(next());}
}