import java.util.Scanner;
class PieczatkiDzieci {
public static void main
(String[] args
) { Scanner in
= new Scanner
(System.
in);
long l = in.nextLong() + 1;//zwieksza liczbe o 1 zeby nie skonczyc programu na zadanej liczbie, tylko wiekszej
char[] cTab = s.toCharArray();
int k = in.nextInt(); //ile 5 ma byc w liczbie
boolean found = false; //czy znaleziono odpowiednia ilosc '5'
char c = '5';
int counter = 1;
int position;
do {
found = countFives(cTab, k, c);
position = cTab.length - counter;
try {
if (cTab[position] != c) { //jesli cyfra jest inna niz 5
if (cTab[position] < c) {//jesli cyfra jest mniejsza niz 5 to po prostu ja zmieni na 5
cTab[position] = c;
} else if (cTab[position] == c) {
counter++;
continue;
}else { //jesli cyfra jest wieksza niz 5
cTab[position] = c;
cTab = increaseByOne(cTab, position);
}
}
if (!found) {
cTab = addOne(cTab);
if (found) break;
else continue;
}
}
counter++;
}while (!found);//while
}
private static char[] addOne(char[] cTab) {
s = "1" + s;
return s.toCharArray();
}
private static char[] increaseByOne(char[] cTab, int position) {
int amount = cTab.length - position; // oblicza ile piatek jest juz na koncu liczby
long longNumber;
try { //jesli sie wpisze same 5 to zostaja obciete i program nie moze podstawic pustego stringa jako liczby
longNumber
= Long.
parseLong(stringNumber.
substring(0, position
)) + 1; //obcina liczbe przed '5' i dodaje jeden longNumber = 1;
}
stringNumber = "" + longNumber;
for(int i = 0; i < amount; i++) {
stringNumber = stringNumber + "5";
}
cTab = stringNumber.toCharArray();
return cTab;
}
private static boolean countFives(char[] cTab, int k, char c) {
int counter = 0;
for (char character : cTab) {
if (character == c) counter++;
}
if(counter >= k) {
return true;
}
else return false;
}
}
aW1wb3J0IGphdmEudXRpbC5TY2FubmVyOwoKY2xhc3MgUGllY3phdGtpRHppZWNpIHsKICAgIHB1YmxpYyBzdGF0aWMgdm9pZCBtYWluKFN0cmluZ1tdIGFyZ3MpIHsKICAgICAgICBTY2FubmVyIGluID0gbmV3IFNjYW5uZXIoU3lzdGVtLmluKTsKCiAgICAgICAgbG9uZyBsID0gaW4ubmV4dExvbmcoKSArIDE7Ly96d2lla3N6YSBsaWN6YmUgbyAxIHplYnkgbmllIHNrb25jenljIHByb2dyYW11IG5hIHphZGFuZWogbGljemJpZSwgdHlsa28gd2lla3N6ZWoKICAgICAgICBTdHJpbmcgIHMgPSAiIiArIGw7CiAgICAgICAgY2hhcltdIGNUYWIgPSBzLnRvQ2hhckFycmF5KCk7CiAgICAgICAgaW50IGsgPSBpbi5uZXh0SW50KCk7IC8vaWxlIDUgbWEgYnljIHcgbGljemJpZQogICAgICAgIGJvb2xlYW4gZm91bmQgPSBmYWxzZTsgLy9jenkgem5hbGV6aW9ubyBvZHBvd2llZG5pYSBpbG9zYyAnNScKICAgICAgICBjaGFyIGMgPSAnNSc7CiAgICAgICAgaW50IGNvdW50ZXIgPSAxOwogICAgICAgIGludCBwb3NpdGlvbjsKCiAgICAgICAgZG8gewogICAgICAgICAgICBmb3VuZCA9IGNvdW50Rml2ZXMoY1RhYiwgaywgYyk7CiAgICAgICAgICAgIHBvc2l0aW9uID0gY1RhYi5sZW5ndGggLSBjb3VudGVyOwogICAgICAgICAgICB0cnkgewogICAgICAgICAgICAgICAgaWYgKGNUYWJbcG9zaXRpb25dICE9IGMpIHsgLy9qZXNsaSBjeWZyYSBqZXN0IGlubmEgbml6IDUKICAgICAgICAgICAgICAgICAgICBpZiAoY1RhYltwb3NpdGlvbl0gPCBjKSB7Ly9qZXNsaSBjeWZyYSBqZXN0IG1uaWVqc3phIG5peiA1IHRvIHBvIHByb3N0dSBqYSB6bWllbmkgbmEgNQogICAgICAgICAgICAgICAgICAgICAgICBjVGFiW3Bvc2l0aW9uXSA9IGM7CiAgICAgICAgICAgICAgICAgICAgfSBlbHNlIGlmIChjVGFiW3Bvc2l0aW9uXSA9PSBjKSB7CiAgICAgICAgICAgICAgICAgICAgICAgIGNvdW50ZXIrKzsKICAgICAgICAgICAgICAgICAgICAgICAgY29udGludWU7CiAgICAgICAgICAgICAgICAgICAgfWVsc2UgeyAgICAgICAgICAgICAgLy9qZXNsaSBjeWZyYSBqZXN0IHdpZWtzemEgbml6IDUKICAgICAgICAgICAgICAgICAgICAgICAgY1RhYltwb3NpdGlvbl0gPSBjOwogICAgICAgICAgICAgICAgICAgICAgICBjVGFiID0gaW5jcmVhc2VCeU9uZShjVGFiLCBwb3NpdGlvbik7CiAgICAgICAgICAgICAgICAgICAgfQogICAgICAgICAgICAgICAgfQogICAgICAgICAgICB9Y2F0Y2ggKEFycmF5SW5kZXhPdXRPZkJvdW5kc0V4Y2VwdGlvbiBlKSB7IC8vamVzbGkgbGljemJhIGplc3QgemEga3JvdGthIHpvc3RhdG5pZSBkb2RhbmEga29sZWpuYSA1CiAgICAgICAgICAgICAgICBpZiAoIWZvdW5kKSB7CiAgICAgICAgICAgICAgICAgICAgY1RhYiA9IGFkZE9uZShjVGFiKTsKICAgICAgICAgICAgICAgICAgICBpZiAoZm91bmQpIGJyZWFrOwogICAgICAgICAgICAgICAgICAgIGVsc2UgY29udGludWU7CiAgICAgICAgICAgICAgICB9CiAgICAgICAgICAgIH0KICAgICAgICAgICAgY291bnRlcisrOwoKICAgICAgICB9d2hpbGUgKCFmb3VuZCk7Ly93aGlsZQoKICAgIH0KCiAgICBwcml2YXRlIHN0YXRpYyBjaGFyW10gYWRkT25lKGNoYXJbXSBjVGFiKSB7CiAgICAgICAgU3RyaW5nIHMgPSBuZXcgU3RyaW5nKGNUYWIpOwogICAgICAgIHMgPSAiMSIgKyBzOwogICAgICAgIHJldHVybiBzLnRvQ2hhckFycmF5KCk7CiAgICB9CgogICAgcHJpdmF0ZSBzdGF0aWMgY2hhcltdIGluY3JlYXNlQnlPbmUoY2hhcltdIGNUYWIsIGludCBwb3NpdGlvbikgewogICAgICAgIFN0cmluZyBzdHJpbmdOdW1iZXIgPSBuZXcgU3RyaW5nKGNUYWIpOwogICAgICAgIGludCBhbW91bnQgPSBjVGFiLmxlbmd0aCAtIHBvc2l0aW9uOyAvLyBvYmxpY3phIGlsZSBwaWF0ZWsgamVzdCBqdXogbmEga29uY3UgbGljemJ5CiAgICAgICAgbG9uZyBsb25nTnVtYmVyOwogICAgICAgIHRyeSB7IC8vamVzbGkgc2llIHdwaXN6ZSBzYW1lIDUgdG8gem9zdGFqYSBvYmNpZXRlIGkgcHJvZ3JhbSBuaWUgbW96ZSBwb2RzdGF3aWMgcHVzdGVnbyBzdHJpbmdhIGpha28gbGljemJ5CiAgICAgICAgICAgIGxvbmdOdW1iZXIgID0gTG9uZy5wYXJzZUxvbmcoc3RyaW5nTnVtYmVyLnN1YnN0cmluZygwLCBwb3NpdGlvbikpICsgMTsgLy9vYmNpbmEgbGljemJlIHByemVkICc1JyBpIGRvZGFqZSBqZWRlbgogICAgICAgIH1jYXRjaCAoTnVtYmVyRm9ybWF0RXhjZXB0aW9uIGUpIHsKICAgICAgICAgICAgbG9uZ051bWJlciA9IDE7CiAgICAgICAgfQogICAgICAgIHN0cmluZ051bWJlciA9ICIiICsgbG9uZ051bWJlcjsKCiAgICAgICAgZm9yKGludCBpID0gMDsgaSA8IGFtb3VudDsgaSsrKSB7CiAgICAgICAgICAgIHN0cmluZ051bWJlciA9IHN0cmluZ051bWJlciArICI1IjsKICAgICAgICB9CgogICAgICAgIGNUYWIgPSBzdHJpbmdOdW1iZXIudG9DaGFyQXJyYXkoKTsKICAgICAgICByZXR1cm4gY1RhYjsKICAgIH0KCiAgICBwcml2YXRlIHN0YXRpYyBib29sZWFuIGNvdW50Rml2ZXMoY2hhcltdIGNUYWIsIGludCBrLCBjaGFyIGMpIHsKICAgICAgICBpbnQgY291bnRlciA9IDA7CiAgICAgICAgZm9yIChjaGFyIGNoYXJhY3RlciA6IGNUYWIpIHsKICAgICAgICAgICAgaWYgKGNoYXJhY3RlciA9PSBjKSBjb3VudGVyKys7CiAgICAgICAgfQoKICAgICAgICBpZihjb3VudGVyID49IGspIHsKICAgICAgICAgICAgU3lzdGVtLm91dC5wcmludGxuKGNUYWIpOwogICAgICAgICAgICByZXR1cm4gdHJ1ZTsKICAgICAgICB9CiAgICAgICAgZWxzZSByZXR1cm4gZmFsc2U7CiAgICB9Cn0=