using System;
using System.Text;
namespace CSharpPlayground
{
public class Program
{
static void Main()
{
string[] txt = Console.ReadLine().Split(' ');
string numberN = txt[0];
string numberK = txt[1];
StringBuilder numberSB = new StringBuilder();
for (int i = 0; i < numberN.Length; i++)
numberSB.Append(numberN[i]);
int k = Int32.Parse(numberK);
ulong n = ulong.Parse(numberN);
int[] digits = new int[numberN.Length];
for (int i = 0; i < numberN.Length; i++)
digits[i] = Int32.Parse(numberN[i].ToString());
if (numberN.Length < k)
{
numberSB.Clear();
for (int i = 0; i < k; i++)
numberSB.Append(5);
Console.Write(numberSB);
}
else if (CountFivesOnUlong(n + 1) >= k)
{
Console.Write(n + 1);
}
else if(k == 1)
{
while(true)
{
n = n + 1;
if(CountFivesOnUlong(n) >= 1)
{
Console.Write(n);
break;
}
}
}
else
{
digits = AddZeroAtFirst(digits);
for(int i = digits.Length - 1; i > 0; i--)
{
if (Check(digits, n, k))
break;
if (digits[i] < 5)
{
digits[i] = 5;
if (Check(digits, n, k))
{
Console.Write(ConvertToUlong(digits));
break;
}
}
else if (digits[i] >= 5)
{
if (digits[i - 1] == 9)
{
digits[i] = 5;
if (Check(digits, n, k))
{
Console.Write(ConvertToUlong(digits));
break;
}
for (int j = i - 1; j >= 0; j--)
{
if (digits[j] == 9)
digits[j] = 0;
else
{
digits[j]++;
break;
}
}
if (Check(digits, n, k))
{
Console.Write(ConvertToUlong(digits));
break;
}
}
else
{
digits[i - 1]++;
digits[i] = 5;
if (Check(digits, n, k))
{
Console.Write(ConvertToUlong(digits));
break;
}
}
}
}
}
}
private static int CountFives(int[] digits)
{
int sum = 0;
for (int i = 0; i < digits.Length; i++)
if (digits[i] == 5)
sum++;
return sum;
}
private static bool Check(int[] digits, ulong n, int k)
{
if (CountFives(digits) >= k && ConvertToUlong(digits) > n)
return true;
else
return false;
}
private static ulong ConvertToUlong(int[] digits)
{
string tmp = "";
for(int i = 0; i < digits.Length; i++)
{
tmp += digits[i];
}
return ulong.Parse(tmp);
}
private static int[] AddZeroAtFirst(int[] digits)
{
int[] tmp = new int[digits.Length + 1];
tmp[0] = 0;
for (int i = 1; i < tmp.Length; i++)
tmp[i] = digits[i - 1];
return tmp;
}
private static int CountFivesOnUlong(ulong n)
{
int counter = 0;
ulong number = n;
while (number != 0)
{
if (number % 10 == 5)
counter++;
number = number / 10;
}
return counter;
}
}
}
dXNpbmcgU3lzdGVtOwp1c2luZyBTeXN0ZW0uVGV4dDsKCm5hbWVzcGFjZSBDU2hhcnBQbGF5Z3JvdW5kCnsKICAgIHB1YmxpYyBjbGFzcyBQcm9ncmFtCiAgICB7CiAgICAgICAgc3RhdGljIHZvaWQgTWFpbigpCiAgICAgICAgewogICAgICAgICAgICBzdHJpbmdbXSB0eHQgPSBDb25zb2xlLlJlYWRMaW5lKCkuU3BsaXQoJyAnKTsKICAgICAgICAgICAgc3RyaW5nIG51bWJlck4gPSB0eHRbMF07CiAgICAgICAgICAgIHN0cmluZyBudW1iZXJLID0gdHh0WzFdOwoKICAgICAgICAgICAgU3RyaW5nQnVpbGRlciBudW1iZXJTQiA9IG5ldyBTdHJpbmdCdWlsZGVyKCk7CiAgICAgICAgICAgIGZvciAoaW50IGkgPSAwOyBpIDwgbnVtYmVyTi5MZW5ndGg7IGkrKykKICAgICAgICAgICAgICAgIG51bWJlclNCLkFwcGVuZChudW1iZXJOW2ldKTsKCiAgICAgICAgICAgIGludCBrID0gSW50MzIuUGFyc2UobnVtYmVySyk7CiAgICAgICAgICAgIHVsb25nIG4gPSB1bG9uZy5QYXJzZShudW1iZXJOKTsKCiAgICAgICAgICAgIGludFtdIGRpZ2l0cyA9IG5ldyBpbnRbbnVtYmVyTi5MZW5ndGhdOwogICAgICAgICAgICBmb3IgKGludCBpID0gMDsgaSA8IG51bWJlck4uTGVuZ3RoOyBpKyspCiAgICAgICAgICAgICAgICBkaWdpdHNbaV0gPSBJbnQzMi5QYXJzZShudW1iZXJOW2ldLlRvU3RyaW5nKCkpOwoKCiAgICAgICAgICAgIGlmIChudW1iZXJOLkxlbmd0aCA8IGspCiAgICAgICAgICAgIHsKICAgICAgICAgICAgICAgIG51bWJlclNCLkNsZWFyKCk7CiAgICAgICAgICAgICAgICBmb3IgKGludCBpID0gMDsgaSA8IGs7IGkrKykKICAgICAgICAgICAgICAgICAgICBudW1iZXJTQi5BcHBlbmQoNSk7CgogICAgICAgICAgICAgICAgQ29uc29sZS5Xcml0ZShudW1iZXJTQik7CiAgICAgICAgICAgIH0KICAgICAgICAgICAgZWxzZSBpZiAoQ291bnRGaXZlc09uVWxvbmcobiArIDEpID49IGspCiAgICAgICAgICAgIHsKICAgICAgICAgICAgICAgIENvbnNvbGUuV3JpdGUobiArIDEpOwogICAgICAgICAgICB9CiAgICAgICAgICAgIGVsc2UgaWYoayA9PSAxKQogICAgICAgICAgICB7CiAgICAgICAgICAgICAgICB3aGlsZSh0cnVlKQogICAgICAgICAgICAgICAgewogICAgICAgICAgICAgICAgICAgIG4gPSBuICsgMTsKICAgICAgICAgICAgICAgICAgICBpZihDb3VudEZpdmVzT25VbG9uZyhuKSA+PSAxKQogICAgICAgICAgICAgICAgICAgIHsKICAgICAgICAgICAgICAgICAgICAgICAgQ29uc29sZS5Xcml0ZShuKTsKICAgICAgICAgICAgICAgICAgICAgICAgYnJlYWs7CiAgICAgICAgICAgICAgICAgICAgfQogICAgICAgICAgICAgICAgfQogICAgICAgICAgICB9CiAgICAgICAgICAgIGVsc2UKICAgICAgICAgICAgewogICAgICAgICAgICAgICAgZGlnaXRzID0gQWRkWmVyb0F0Rmlyc3QoZGlnaXRzKTsKICAgICAgICAgICAgICAgIAogICAgICAgICAgICAgICAgZm9yKGludCBpID0gZGlnaXRzLkxlbmd0aCAtIDE7IGkgPiAwOyBpLS0pCiAgICAgICAgICAgICAgICB7CiAgICAgICAgICAgICAgICAgICAgaWYgKENoZWNrKGRpZ2l0cywgbiwgaykpCiAgICAgICAgICAgICAgICAgICAgICAgIGJyZWFrOwoKICAgICAgICAgICAgICAgICAgICBpZiAoZGlnaXRzW2ldIDwgNSkKICAgICAgICAgICAgICAgICAgICB7CiAgICAgICAgICAgICAgICAgICAgICAgIGRpZ2l0c1tpXSA9IDU7CiAgICAgICAgICAgICAgICAgICAgICAgIGlmIChDaGVjayhkaWdpdHMsIG4sIGspKQogICAgICAgICAgICAgICAgICAgICAgICB7CiAgICAgICAgICAgICAgICAgICAgICAgICAgICBDb25zb2xlLldyaXRlKENvbnZlcnRUb1Vsb25nKGRpZ2l0cykpOwogICAgICAgICAgICAgICAgICAgICAgICAgICAgYnJlYWs7CiAgICAgICAgICAgICAgICAgICAgICAgIH0KICAgICAgICAgICAgICAgICAgICB9CiAgICAgICAgICAgICAgICAgICAgZWxzZSBpZiAoZGlnaXRzW2ldID49IDUpCiAgICAgICAgICAgICAgICAgICAgewogICAgICAgICAgICAgICAgICAgICAgICBpZiAoZGlnaXRzW2kgLSAxXSA9PSA5KQogICAgICAgICAgICAgICAgICAgICAgICB7CiAgICAgICAgICAgICAgICAgICAgICAgICAgICBkaWdpdHNbaV0gPSA1OwogICAgICAgICAgICAgICAgICAgICAgICAgICAgaWYgKENoZWNrKGRpZ2l0cywgbiwgaykpCiAgICAgICAgICAgICAgICAgICAgICAgICAgICB7CiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgQ29uc29sZS5Xcml0ZShDb252ZXJ0VG9VbG9uZyhkaWdpdHMpKTsKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBicmVhazsKICAgICAgICAgICAgICAgICAgICAgICAgICAgIH0KCiAgICAgICAgICAgICAgICAgICAgICAgICAgICBmb3IgKGludCBqID0gaSAtIDE7IGogPj0gMDsgai0tKQogICAgICAgICAgICAgICAgICAgICAgICAgICAgewogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIGlmIChkaWdpdHNbal0gPT0gOSkKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgZGlnaXRzW2pdID0gMDsKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBlbHNlCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgewoKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgZGlnaXRzW2pdKys7CiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIGJyZWFrOwogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIH0KICAgICAgICAgICAgICAgICAgICAgICAgICAgIH0KCiAgICAgICAgICAgICAgICAgICAgICAgICAgICBpZiAoQ2hlY2soZGlnaXRzLCBuLCBrKSkKICAgICAgICAgICAgICAgICAgICAgICAgICAgIHsKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBDb25zb2xlLldyaXRlKENvbnZlcnRUb1Vsb25nKGRpZ2l0cykpOwogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIGJyZWFrOwogICAgICAgICAgICAgICAgICAgICAgICAgICAgfQogICAgICAgICAgICAgICAgICAgICAgICB9CiAgICAgICAgICAgICAgICAgICAgICAgIGVsc2UKICAgICAgICAgICAgICAgICAgICAgICAgewogICAgICAgICAgICAgICAgICAgICAgICAgICAgZGlnaXRzW2kgLSAxXSsrOwogICAgICAgICAgICAgICAgICAgICAgICAgICAgZGlnaXRzW2ldID0gNTsKCiAgICAgICAgICAgICAgICAgICAgICAgICAgICBpZiAoQ2hlY2soZGlnaXRzLCBuLCBrKSkKICAgICAgICAgICAgICAgICAgICAgICAgICAgIHsKICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBDb25zb2xlLldyaXRlKENvbnZlcnRUb1Vsb25nKGRpZ2l0cykpOwogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIGJyZWFrOwogICAgICAgICAgICAgICAgICAgICAgICAgICAgfQogICAgICAgICAgICAgICAgICAgICAgICB9CiAgICAgICAgICAgICAgICAgICAgfQogICAgICAgICAgICAgICAgfQogICAgICAgICAgICB9CiAgICAgICAgfQoKICAgICAgICBwcml2YXRlIHN0YXRpYyBpbnQgQ291bnRGaXZlcyhpbnRbXSBkaWdpdHMpCiAgICAgICAgewogICAgICAgICAgICBpbnQgc3VtID0gMDsKICAgICAgICAgICAgZm9yIChpbnQgaSA9IDA7IGkgPCBkaWdpdHMuTGVuZ3RoOyBpKyspCiAgICAgICAgICAgICAgICBpZiAoZGlnaXRzW2ldID09IDUpCiAgICAgICAgICAgICAgICAgICAgc3VtKys7CiAgICAgICAgICAgIAogICAgICAgICAgICByZXR1cm4gc3VtOwogICAgICAgIH0KCiAgICAgICAgcHJpdmF0ZSBzdGF0aWMgYm9vbCBDaGVjayhpbnRbXSBkaWdpdHMsIHVsb25nIG4sIGludCBrKQogICAgICAgIHsKICAgICAgICAgICAgaWYgKENvdW50Rml2ZXMoZGlnaXRzKSA+PSBrICYmIENvbnZlcnRUb1Vsb25nKGRpZ2l0cykgPiBuKQogICAgICAgICAgICAgICAgcmV0dXJuIHRydWU7CiAgICAgICAgICAgIGVsc2UKICAgICAgICAgICAgICAgIHJldHVybiBmYWxzZTsKICAgICAgICB9CgogICAgICAgIHByaXZhdGUgc3RhdGljIHVsb25nIENvbnZlcnRUb1Vsb25nKGludFtdIGRpZ2l0cykKICAgICAgICB7CiAgICAgICAgICAgIHN0cmluZyB0bXAgPSAiIjsKICAgICAgICAgICAgZm9yKGludCBpID0gMDsgaSA8IGRpZ2l0cy5MZW5ndGg7IGkrKykKICAgICAgICAgICAgewogICAgICAgICAgICAgICAgdG1wICs9IGRpZ2l0c1tpXTsKICAgICAgICAgICAgfQoKICAgICAgICAgICAgcmV0dXJuIHVsb25nLlBhcnNlKHRtcCk7CiAgICAgICAgfQoKICAgICAgICBwcml2YXRlIHN0YXRpYyBpbnRbXSBBZGRaZXJvQXRGaXJzdChpbnRbXSBkaWdpdHMpCiAgICAgICAgewogICAgICAgICAgICBpbnRbXSB0bXAgPSBuZXcgaW50W2RpZ2l0cy5MZW5ndGggKyAxXTsKICAgICAgICAgICAgdG1wWzBdID0gMDsKICAgICAgICAgICAgZm9yIChpbnQgaSA9IDE7IGkgPCB0bXAuTGVuZ3RoOyBpKyspCiAgICAgICAgICAgICAgICB0bXBbaV0gPSBkaWdpdHNbaSAtIDFdOwoKICAgICAgICAgICAgcmV0dXJuIHRtcDsKICAgICAgICB9CgogICAgICAgIHByaXZhdGUgc3RhdGljIGludCBDb3VudEZpdmVzT25VbG9uZyh1bG9uZyBuKQogICAgICAgIHsKICAgICAgICAgICAgaW50IGNvdW50ZXIgPSAwOwogICAgICAgICAgICB1bG9uZyBudW1iZXIgPSBuOwogICAgICAgICAgICB3aGlsZSAobnVtYmVyICE9IDApCiAgICAgICAgICAgIHsKICAgICAgICAgICAgICAgIGlmIChudW1iZXIgJSAxMCA9PSA1KQogICAgICAgICAgICAgICAgICAgIGNvdW50ZXIrKzsKCiAgICAgICAgICAgICAgICBudW1iZXIgPSBudW1iZXIgLyAxMDsKICAgICAgICAgICAgfQoKICAgICAgICAgICAgcmV0dXJuIGNvdW50ZXI7CiAgICAgICAgfQogICAgfQp9