#include <iostream>
#include <string>
using namespace std;
string dj(string n);
int szukajka(string n);
int main()
{
string n;
int k;
cin>>n>>k;
n=dj(n);
while(szukajka(n)<k)
{
n=dj(n);
}
cout<<endl<<n;
return 0;
}
string dj(string n)
{
int dlugosc=n.length();
for(int i=dlugosc-1; i>=0; i--)
{
if(n[i]=='9')
{
n[i]='0';
if(i==0){n.insert(0,"1"); n[1]='0';}
}
else
{
n[i]+=1; break;
}
}
return n;
}
int szukajka(string n)
{
int dlugosc=n.length();
int licznik=0;
for(int i=0; i<dlugosc; i++)
{
if(n[i]=='5') licznik++;
}
return licznik;
}
I2luY2x1ZGUgPGlvc3RyZWFtPgojaW5jbHVkZSA8c3RyaW5nPgp1c2luZyBuYW1lc3BhY2Ugc3RkOwpzdHJpbmcgZGooc3RyaW5nIG4pOwppbnQgc3p1a2Fqa2Eoc3RyaW5nIG4pOwppbnQgbWFpbigpCnsKICAgIHN0cmluZyBuOwogICAgaW50IGs7CiAgICBjaW4+Pm4+Pms7CiAgICBuPWRqKG4pOwogICAgd2hpbGUoc3p1a2Fqa2Eobik8aykKICAgIHsKICAgICAgICBuPWRqKG4pOwogICAgfQogICAgY291dDw8ZW5kbDw8bjsKICAgIHJldHVybiAwOwp9CnN0cmluZyBkaihzdHJpbmcgbikKewogICAgaW50IGRsdWdvc2M9bi5sZW5ndGgoKTsKICAgIGZvcihpbnQgaT1kbHVnb3NjLTE7IGk+PTA7IGktLSkKICAgIHsKICAgICAgICAgICAgaWYobltpXT09JzknKQogICAgICAgICAgICAgICAgewogICAgICAgICAgICAgICAgICAgIG5baV09JzAnOwogICAgICAgICAgICAgICAgICAgIGlmKGk9PTApe24uaW5zZXJ0KDAsIjEiKTsgblsxXT0nMCc7fQogICAgICAgICAgICAgICAgfQogICAgICAgICAgICBlbHNlCiAgICAgICAgICAgIHsKICAgICAgICAgICAgICAgIG5baV0rPTE7IGJyZWFrOwogICAgICAgICAgICB9CiAgICB9CiAgICByZXR1cm4gbjsKfQppbnQgc3p1a2Fqa2Eoc3RyaW5nIG4pCnsKICAgIGludCBkbHVnb3NjPW4ubGVuZ3RoKCk7CiAgICBpbnQgbGljem5paz0wOwogICAgZm9yKGludCBpPTA7IGk8ZGx1Z29zYzsgaSsrKQogICAgewogICAgICAgIGlmKG5baV09PSc1JykgbGljem5paysrOwogICAgfQogICAgcmV0dXJuIGxpY3puaWs7Cn0K