#include <iostream>
#include <string>
using namespace std;
 
int main()
{
  char buffer[20];
  string str ;
  for(int j=1;j<=850;j++){
  	getline(cin,str,'\n');
  for(int i=0;i<str.size();i++){
            if(str[i]=='0'&&str[i+1]=='1'&&(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;
}
 

I2luY2x1ZGUgPGlvc3RyZWFtPgojaW5jbHVkZSA8c3RyaW5nPgp1c2luZyBuYW1lc3BhY2Ugc3RkOwoKaW50IG1haW4oKQp7CiAgY2hhciBidWZmZXJbMjBdOwogIHN0cmluZyBzdHIgOwogIGZvcihpbnQgaj0xO2o8PTg1MDtqKyspewogIAlnZXRsaW5lKGNpbixzdHIsJ1xuJyk7CiAgZm9yKGludCBpPTA7aTxzdHIuc2l6ZSgpO2krKyl7CiAgICAgICAgICAgIGlmKHN0cltpXT09JzAnJiZzdHJbaSsxXT09JzEnJiYoc3RyW2krNl0+PScwJyYmc3RyW2krNl08PSc5JykpewogICAgICAgICAgICAgICAgc2l6ZV90IGxlbmd0aCA9IHN0ci5jb3B5KGJ1ZmZlciwxMSxpKTsKICAgICAgICAgICAgICAgIGJ1ZmZlcltsZW5ndGhdPSdcMCc7CiAgICAgICAgICAgICAgICBjb3V0IDw8Ijg4Ijw8YnVmZmVyIDw8J1xuJzsKICAgICAgICAgICAgfQogICAgfQogIH0KICByZXR1cm4gMDsKfQo=