#include <iostream>
#include <string>
using namespace std;

int main()
{
  char buffer[20];
  string str ;
  for(int j=1;j<=1000;j++){
  	getline(cin,str,'\n');
  for(int i=0;i<str.size();i++){
            if(str[i]=='0'&&str[i+1]=='1'){
                size_t length = str.copy(buffer,11,i);
                buffer[length]='\0';
                cout <<"88"<<buffer <<'\n';
            }
    }
  }
  return 0;
}