#include<bits/stdc++.h>
using namespace std;

struct data{
	int y;
	int m;
	int d;
	
	int shi;
	int fen;
	int miao;
};

int main(){
	long n;
	data a;
	int num[12]={31,28,31,30,31,30,31,31,30,31,30,31};
	while(cin>>n){
		a.y=2009;
		a.m=1;
		a.d=1;
		a.shi=0;
		a.fen=0;
		a.miao=0;
		
		a.miao+=n;
		while(a.miao>=60){
			a.miao-=60;
			a.fen++;
		}
		while(a.fen>=60){
			a.fen-=60;
			a.shi++;
		}
		while(a.shi>=24){
			a.shi-=24;
			a.d++;
		}
		while(a.d>num[a.m-1]){
			a.d-=num[a.m-1];
			a.m++;
		}
		
		// 打印年月日 
		cout<<a.y<<"-";
		if(a.m<10){
			cout<<"0"<<a.m<<"-";
		}else{
			cout<<a.m<<"-";
		}
		if(a.d<10){
			cout<<"0"<<a.d<<" ";
		}else{
			cout<<a.d<<" ";
		}
		
		//打印时间
		if(a.shi<10){
			cout<<"0"<<a.shi<<":";
		}else{
			cout<<a.shi<<":";
		}
		if(a.fen<10){
			cout<...