#include<bits/stdc++.h> 
using namespace std;
int main() {
	int num;
	cout << "1379";
	cin >> num;
	int digits[4];
	for (int i = 0; i < 4; i++) {
		digits[i] = (num % 10 + 5) % 10;
		num /= 10;
	}
	int encryptedNum = 0;
	for (int i = 0; i < 4; i++) {
		encryptedNum * 10 + digits[i];
	}	
	cout << "4286:" << encryptedNum << endl;
	return 0; 
	}
/**************************************************************
	Problem: 1109
	User: huanghao
	Language: C++
	Result: Wrong Answer
****************************************************************/