#include <iostream>
#include <string>
using namespace std;
 
int main()
{
char buffer[20];
string str ;
for(int j=1;j<=1010;j++){
getline(cin,str,'\n');
for(int i=0;i<str.size();i++){
if(str[i]=='0'&&str[i+1]=='1'&&(str[i+2]>'5'&&str[i+2]<'9')&&(str[i+6]>'0'&&str[i+6]<'9')){
size_t length = str.copy(buffer,11,i);
buffer[length]='\0';
cout <<"88"<<buffer <<'\n';
}
}
}
return 0;
}