#include<bits/stdc++.h> 
using namespace std;
int main(){
	int num;
	printf ("1379:");
	scanf ("%d",&num);
	int digits[4];
	for (int i = 0; i < 4; i++) {
	    digits[i] = (num % 10 + 5) % 10;
		num /= 10;
		}
	int encrypted_num = 0;
	for (int i = 0; i < 4; i++) {
		encrypted_num = encrypted_num * 10 + digits[i];
	}	
	printf("4286: %d\n", encrypted_num);
	return 0; 
	}
/**************************************************************
	Problem: 1109
	User: huanghao
	Language: C++
	Result: Wrong Answer
****************************************************************/