#include <iostream>
using namespace std;
int main(void){
    string s;
    cin >> s;
    
    cout << "2018/";
    
    for (int i=0; i<s.size(); i++) {
        if (i > 4) cout << s.at(i);
    }
    cout << endl;
}


#include<iostream>
using namespace std;

int main()
{
	int n;
	int i;
	
	cin >> n;
	
	for(i=1;i<=n;i++){
		if(i%3==0)
			cout << ' ' << i;
		else if(i%10==3)
			cout << ' ' << i;
		else if((i/10)%10==3)
			cout << ' ' << i;
		else if((i/100)%10==3)
			cout << ' ' << i;
		else if((i/1000)%10==3)
			cout << ' ' << i;
	}
	cout << endl;
	
	return 0;
}