#include <iostream>
using namespace std;
int g,l,k,piatki,roznica,zera,postep;
string cyfra;
bool wysw=true,roznspada=false,roznrosnie=false;
int main()
{
cin>>cyfra>>k;
piatki=0,zera=0,l=cyfra.length();
if (l+1<=k)
{
for(int c=0;c<=k-1;c++) cout<<"5";
cout<<'\n';
}
else if (l==k)
{
for(int a=0;a<=l-1;a++)
{
if (cyfra[a]<='4')
{
for(int b=0;b<=k-1;b++) cout<<"5";
cout<<'\n';
a=l+1;
}
else if (cyfra[a]>='6')
{
cout<<"1";
for(int d=0;d<=k-1;d++) cout<<"5";
cout<<'\n';
a=l+1;
}
else if (cyfra[a]=='5')
{
piatki++;
if(piatki==l)
{
cout<<"1";
for(int e=0;e<=k-1;e++) cout<<"5";
cout<<'\n';
a=l+1;
}
}
}
}
else
{
for(int f=0;f<=l-1;f++)
{
if(cyfra[f]=='5') piatki++;
}
roznica=piatki-k;
if (l>=2&&roznica==0&&cyfra[l-1]=='5'&&cyfra[l-2]=='4') cyfra[l-1]='0',cyfra[l-2]='5',cout<<cyfra<<'\n';
else if (k==1&&cyfra[l-1]=='5'&&piatki==1&&cyfra[l-2]=='4') cyfra[l-1]='0',cyfra[l-2]='5',cout<<cyfra<<'\n';
else if (k==1&&cyfra[l-1]=='5'&&piatki==1&&cyfra[l-2]!='4'&&cyfra[l-2]!='9') cyfra[l-1]='5',cyfra[l-2]++,cout<<cyfra<<'\n';
else if (piatki>=k&&cyfra[l-1]<='3') cyfra[l-1]++,cout<<cyfra<<'\n';
else if (piatki+1>=k&&cyfra[l-1]=='4') cyfra[l-1]++,cout<<cyfra<<'\n';
else if (piatki>=k&&cyfra[l-1]<='8'&&cyfra[l-1]>='6') cyfra[l-1]++,cout<<cyfra<<'\n';
else if (roznica>=1&&cyfra[l-1]!='9') cyfra[l-1]++,cout<<cyfra<<'\n';
else if (roznica>=0&&cyfra[l-1]!='9'&&cyfra[l-1]!='5') cyfra[l-1]++,cout<<cyfra<<'\n';
else
{
for(g=l-1;g>=0;g--)
{
roznspada=false,roznrosnie=false;
if(cyfra[g]<='4')
{
cyfra[g]='5',roznica++;
if (roznica>=0) g=-1,cout<<cyfra<<'\n';
}
else if(cyfra[g]>='6')
{
cyfra[g-1]++;
if (cyfra[g-1]=='6') roznica--,roznspada=true;
if (cyfra[g-1]=='5') roznica++,roznrosnie=true;
if (roznica>=0&&wysw==true)
{
if(cyfra[g-1]==':')
{
cyfra[g-1]='0';
cyfra[g-2]++;
if(cyfra[g-2]=='6') roznica--,roznspada=true;
if(cyfra[g-2]=='5') roznica++,roznrosnie=true;
for(int h=2;h<=999;h++)
{
if(cyfra[g-h]==':')
{
cyfra[g-h]='0';
cyfra[g-h-1]++;
if(cyfra[g-h-1]=='6') roznica--,roznspada=true;
if(cyfra[g-h-1]=='5') roznica++,roznrosnie=true;
}
else h=1000;
}
}
cyfra[g]='0';
if(roznspada==false)
{
g=-1;
if(cyfra[0]=='0'||cyfra[0]==':') cout<<"1";
if(cyfra[0]==':') cyfra[0]='0';
if(roznrosnie==true)
{
for(int j=l-1;j>=0;j--)
{
if(cyfra[j]!='5') cyfra[j+1]='0',j=-1;
}
}
cout<<cyfra<<'\n';
wysw=false;
}
}
cyfra[g]='5',roznica++;
roznspada=false,roznrosnie=false;
if (roznica>=0&&wysw==true)
{
if(cyfra[g-1]==':')
{
cyfra[g-1]='0';
cyfra[g-2]++;
if(cyfra[g-2]=='6') roznica--,roznspada=true;
if(cyfra[g-2]=='5') roznica++,roznrosnie=true;
for(int h=2;h<=999;h++)
{
if(cyfra[g-h]==':')
{
cyfra[g-h]='0';
cyfra[g-h-1]++;
if(cyfra[g-h-1]=='6') roznica--,roznspada=true;
if(cyfra[g-h-1]=='5') roznica++,roznrosnie=true;
}
else h=1000;
}
}
if(roznspada==false)
{
g=-1;
if(cyfra[0]=='0'||cyfra[0]==':') cout<<"1";
if(cyfra[0]==':') cyfra[0]='0';
if(roznrosnie==true)
{
for(int j=l-1;j>=0;j--)
{
if(cyfra[j]!='5') cyfra[j+1]='0',j=-1;
}
}
cout<<cyfra<<'\n';
wysw=false;
}
}
}
}
}
}
return 0;
}
I2luY2x1ZGUgPGlvc3RyZWFtPgp1c2luZyBuYW1lc3BhY2Ugc3RkOwppbnQgZyxsLGsscGlhdGtpLHJvem5pY2EsemVyYSxwb3N0ZXA7CnN0cmluZyBjeWZyYTsKYm9vbCB3eXN3PXRydWUscm96bnNwYWRhPWZhbHNlLHJvem5yb3NuaWU9ZmFsc2U7CmludCBtYWluKCkKewogICAgY2luPj5jeWZyYT4+azsKICAgIHBpYXRraT0wLHplcmE9MCxsPWN5ZnJhLmxlbmd0aCgpOwogICAgaWYgKGwrMTw9aykKICAgIHsKICAgICAgICBmb3IoaW50IGM9MDtjPD1rLTE7YysrKSBjb3V0PDwiNSI7CiAgICAgICAgY291dDw8J1xuJzsKICAgIH0KICAgIGVsc2UgaWYgKGw9PWspCiAgICB7CiAgICAgICAgZm9yKGludCBhPTA7YTw9bC0xO2ErKykKICAgICAgICB7CiAgICAgICAgICAgIGlmIChjeWZyYVthXTw9JzQnKQogICAgICAgICAgICB7CiAgICAgICAgICAgICAgICBmb3IoaW50IGI9MDtiPD1rLTE7YisrKSBjb3V0PDwiNSI7CiAgICAgICAgICAgICAgICBjb3V0PDwnXG4nOwogICAgICAgICAgICAgICAgYT1sKzE7CiAgICAgICAgICAgIH0KICAgICAgICAgICAgZWxzZSBpZiAoY3lmcmFbYV0+PSc2JykKICAgICAgICAgICAgewogICAgICAgICAgICAgICAgY291dDw8IjEiOwogICAgICAgICAgICAgICAgZm9yKGludCBkPTA7ZDw9ay0xO2QrKykgY291dDw8IjUiOwogICAgICAgICAgICAgICAgY291dDw8J1xuJzsKICAgICAgICAgICAgICAgIGE9bCsxOwogICAgICAgICAgICB9CiAgICAgICAgICAgIGVsc2UgaWYgKGN5ZnJhW2FdPT0nNScpCiAgICAgICAgICAgIHsKICAgICAgICAgICAgICAgIHBpYXRraSsrOwogICAgICAgICAgICAgICAgaWYocGlhdGtpPT1sKQogICAgICAgICAgICAgICAgewogICAgICAgICAgICAgICAgICAgIGNvdXQ8PCIxIjsKICAgICAgICAgICAgICAgICAgICBmb3IoaW50IGU9MDtlPD1rLTE7ZSsrKSBjb3V0PDwiNSI7CiAgICAgICAgICAgICAgICAgICAgY291dDw8J1xuJzsKICAgICAgICAgICAgICAgICAgICBhPWwrMTsKICAgICAgICAgICAgICAgIH0KICAgICAgICAgICAgfQogICAgICAgIH0KICAgIH0KICAgIGVsc2UKICAgIHsKICAgICAgICBmb3IoaW50IGY9MDtmPD1sLTE7ZisrKQogICAgICAgIHsKICAgICAgICAgICAgaWYoY3lmcmFbZl09PSc1JykgcGlhdGtpKys7CiAgICAgICAgfQogICAgICAgIHJvem5pY2E9cGlhdGtpLWs7CiAgICAgICAgaWYgKGw+PTImJnJvem5pY2E9PTAmJmN5ZnJhW2wtMV09PSc1JyYmY3lmcmFbbC0yXT09JzQnKSBjeWZyYVtsLTFdPScwJyxjeWZyYVtsLTJdPSc1Jyxjb3V0PDxjeWZyYTw8J1xuJzsKICAgICAgICBlbHNlIGlmIChrPT0xJiZjeWZyYVtsLTFdPT0nNScmJnBpYXRraT09MSYmY3lmcmFbbC0yXT09JzQnKSBjeWZyYVtsLTFdPScwJyxjeWZyYVtsLTJdPSc1Jyxjb3V0PDxjeWZyYTw8J1xuJzsKICAgICAgICBlbHNlIGlmIChrPT0xJiZjeWZyYVtsLTFdPT0nNScmJnBpYXRraT09MSYmY3lmcmFbbC0yXSE9JzQnJiZjeWZyYVtsLTJdIT0nOScpIGN5ZnJhW2wtMV09JzUnLGN5ZnJhW2wtMl0rKyxjb3V0PDxjeWZyYTw8J1xuJzsKICAgICAgICBlbHNlIGlmIChwaWF0a2k+PWsmJmN5ZnJhW2wtMV08PSczJykgY3lmcmFbbC0xXSsrLGNvdXQ8PGN5ZnJhPDwnXG4nOwogICAgICAgIGVsc2UgaWYgKHBpYXRraSsxPj1rJiZjeWZyYVtsLTFdPT0nNCcpIGN5ZnJhW2wtMV0rKyxjb3V0PDxjeWZyYTw8J1xuJzsKICAgICAgICBlbHNlIGlmIChwaWF0a2k+PWsmJmN5ZnJhW2wtMV08PSc4JyYmY3lmcmFbbC0xXT49JzYnKSBjeWZyYVtsLTFdKyssY291dDw8Y3lmcmE8PCdcbic7CiAgICAgICAgZWxzZSBpZiAocm96bmljYT49MSYmY3lmcmFbbC0xXSE9JzknKSBjeWZyYVtsLTFdKyssY291dDw8Y3lmcmE8PCdcbic7CiAgICAgICAgZWxzZSBpZiAocm96bmljYT49MCYmY3lmcmFbbC0xXSE9JzknJiZjeWZyYVtsLTFdIT0nNScpIGN5ZnJhW2wtMV0rKyxjb3V0PDxjeWZyYTw8J1xuJzsKICAgICAgICBlbHNlCiAgICAgICAgewogICAgICAgICAgICBmb3IoZz1sLTE7Zz49MDtnLS0pCiAgICAgICAgICAgIHsKICAgICAgICAgICAgICAgIHJvem5zcGFkYT1mYWxzZSxyb3pucm9zbmllPWZhbHNlOwogICAgICAgICAgICAgICAgaWYoY3lmcmFbZ108PSc0JykKICAgICAgICAgICAgICAgIHsKICAgICAgICAgICAgICAgICAgICBjeWZyYVtnXT0nNScscm96bmljYSsrOwogICAgICAgICAgICAgICAgICAgIGlmIChyb3puaWNhPj0wKSBnPS0xLGNvdXQ8PGN5ZnJhPDwnXG4nOwogICAgICAgICAgICAgICAgfQogICAgICAgICAgICAgICAgZWxzZSBpZihjeWZyYVtnXT49JzYnKQogICAgICAgICAgICAgICAgewogICAgICAgICAgICAgICAgICAgIGN5ZnJhW2ctMV0rKzsKICAgICAgICAgICAgICAgICAgICBpZiAoY3lmcmFbZy0xXT09JzYnKSByb3puaWNhLS0scm96bnNwYWRhPXRydWU7CiAgICAgICAgICAgICAgICAgICAgaWYgKGN5ZnJhW2ctMV09PSc1Jykgcm96bmljYSsrLHJvem5yb3NuaWU9dHJ1ZTsKICAgICAgICAgICAgICAgICAgICBpZiAocm96bmljYT49MCYmd3lzdz09dHJ1ZSkKICAgICAgICAgICAgICAgICAgICB7CiAgICAgICAgICAgICAgICAgICAgICAgIGlmKGN5ZnJhW2ctMV09PSc6JykKICAgICAgICAgICAgICAgICAgICAgICAgewogICAgICAgICAgICAgICAgICAgICAgICAgICAgY3lmcmFbZy0xXT0nMCc7CiAgICAgICAgICAgICAgICAgICAgICAgICAgICBjeWZyYVtnLTJdKys7CiAgICAgICAgICAgICAgICAgICAgICAgICAgICBpZihjeWZyYVtnLTJdPT0nNicpIHJvem5pY2EtLSxyb3puc3BhZGE9dHJ1ZTsKICAgICAgICAgICAgICAgICAgICAgICAgICAgIGlmKGN5ZnJhW2ctMl09PSc1Jykgcm96bmljYSsrLHJvem5yb3NuaWU9dHJ1ZTsKICAgICAgICAgICAgICAgICAgICAgICAgICAgIGZvcihpbnQgaD0yO2g8PTk5OTtoKyspCiAgICAgICAgICAgICAgICAgICAgICAgICAgICB7CiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgaWYoY3lmcmFbZy1oXT09JzonKQogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIHsKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgY3lmcmFbZy1oXT0nMCc7CiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIGN5ZnJhW2ctaC0xXSsrOwogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBpZihjeWZyYVtnLWgtMV09PSc2Jykgcm96bmljYS0tLHJvem5zcGFkYT10cnVlOwogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBpZihjeWZyYVtnLWgtMV09PSc1Jykgcm96bmljYSsrLHJvem5yb3NuaWU9dHJ1ZTsKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICB9CiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgZWxzZSBoPTEwMDA7CiAgICAgICAgICAgICAgICAgICAgICAgICAgICB9CiAgICAgICAgICAgICAgICAgICAgICAgIH0KICAgICAgICAgICAgICAgICAgICAgICAgY3lmcmFbZ109JzAnOwogICAgICAgICAgICAgICAgICAgICAgICBpZihyb3puc3BhZGE9PWZhbHNlKQogICAgICAgICAgICAgICAgICAgICAgICB7CiAgICAgICAgICAgICAgICAgICAgICAgICAgICBnPS0xOwogICAgICAgICAgICAgICAgICAgICAgICAgICAgaWYoY3lmcmFbMF09PScwJ3x8Y3lmcmFbMF09PSc6JykgY291dDw8IjEiOwogICAgICAgICAgICAgICAgICAgICAgICAgICAgaWYoY3lmcmFbMF09PSc6JykgY3lmcmFbMF09JzAnOwogICAgICAgICAgICAgICAgICAgICAgICAgICAgaWYocm96bnJvc25pZT09dHJ1ZSkKICAgICAgICAgICAgICAgICAgICAgICAgICAgIHsKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBmb3IoaW50IGo9bC0xO2o+PTA7ai0tKQogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIHsKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgaWYoY3lmcmFbal0hPSc1JykgY3lmcmFbaisxXT0nMCcsaj0tMTsKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICB9CiAgICAgICAgICAgICAgICAgICAgICAgICAgICB9CiAgICAgICAgICAgICAgICAgICAgICAgICAgICBjb3V0PDxjeWZyYTw8J1xuJzsKICAgICAgICAgICAgICAgICAgICAgICAgICAgIHd5c3c9ZmFsc2U7CiAgICAgICAgICAgICAgICAgICAgICAgIH0KICAgICAgICAgICAgICAgICAgICB9CiAgICAgICAgICAgICAgICAgICAgY3lmcmFbZ109JzUnLHJvem5pY2ErKzsKICAgICAgICAgICAgICAgICAgICByb3puc3BhZGE9ZmFsc2Uscm96bnJvc25pZT1mYWxzZTsKICAgICAgICAgICAgICAgICAgICBpZiAocm96bmljYT49MCYmd3lzdz09dHJ1ZSkKICAgICAgICAgICAgICAgICAgICB7CiAgICAgICAgICAgICAgICAgICAgICAgIGlmKGN5ZnJhW2ctMV09PSc6JykKICAgICAgICAgICAgICAgICAgICAgICAgewogICAgICAgICAgICAgICAgICAgICAgICAgICAgY3lmcmFbZy0xXT0nMCc7CiAgICAgICAgICAgICAgICAgICAgICAgICAgICBjeWZyYVtnLTJdKys7CiAgICAgICAgICAgICAgICAgICAgICAgICAgICBpZihjeWZyYVtnLTJdPT0nNicpIHJvem5pY2EtLSxyb3puc3BhZGE9dHJ1ZTsKICAgICAgICAgICAgICAgICAgICAgICAgICAgIGlmKGN5ZnJhW2ctMl09PSc1Jykgcm96bmljYSsrLHJvem5yb3NuaWU9dHJ1ZTsKICAgICAgICAgICAgICAgICAgICAgICAgICAgIGZvcihpbnQgaD0yO2g8PTk5OTtoKyspCiAgICAgICAgICAgICAgICAgICAgICAgICAgICB7CiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgaWYoY3lmcmFbZy1oXT09JzonKQogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIHsKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgY3lmcmFbZy1oXT0nMCc7CiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIGN5ZnJhW2ctaC0xXSsrOwogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBpZihjeWZyYVtnLWgtMV09PSc2Jykgcm96bmljYS0tLHJvem5zcGFkYT10cnVlOwogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBpZihjeWZyYVtnLWgtMV09PSc1Jykgcm96bmljYSsrLHJvem5yb3NuaWU9dHJ1ZTsKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICB9CiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgZWxzZSBoPTEwMDA7CiAgICAgICAgICAgICAgICAgICAgICAgICAgICB9CiAgICAgICAgICAgICAgICAgICAgICAgIH0KICAgICAgICAgICAgICAgICAgICAgICAgaWYocm96bnNwYWRhPT1mYWxzZSkKICAgICAgICAgICAgICAgICAgICAgICAgewogICAgICAgICAgICAgICAgICAgICAgICAgICAgZz0tMTsKICAgICAgICAgICAgICAgICAgICAgICAgICAgIGlmKGN5ZnJhWzBdPT0nMCd8fGN5ZnJhWzBdPT0nOicpIGNvdXQ8PCIxIjsKICAgICAgICAgICAgICAgICAgICAgICAgICAgIGlmKGN5ZnJhWzBdPT0nOicpIGN5ZnJhWzBdPScwJzsKICAgICAgICAgICAgICAgICAgICAgICAgICAgIGlmKHJvem5yb3NuaWU9PXRydWUpCiAgICAgICAgICAgICAgICAgICAgICAgICAgICB7CiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgZm9yKGludCBqPWwtMTtqPj0wO2otLSkKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICB7CiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIGlmKGN5ZnJhW2pdIT0nNScpIGN5ZnJhW2orMV09JzAnLGo9LTE7CiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgfQogICAgICAgICAgICAgICAgICAgICAgICAgICAgfQogICAgICAgICAgICAgICAgICAgICAgICAgICAgY291dDw8Y3lmcmE8PCdcbic7CiAgICAgICAgICAgICAgICAgICAgICAgICAgICB3eXN3PWZhbHNlOwogICAgICAgICAgICAgICAgICAgICAgICB9CiAgICAgICAgICAgICAgICAgICAgfQogICAgICAgICAgICAgICAgfQogICAgICAgICAgICB9CiAgICAgICAgfQogICAgfQogICAgcmV0dXJuIDA7Cn0=