import fileinput
for line in fileinput.input() :
i = line.find(' ',2)
s = line[i + 1:-1] if i != -1 else ''
print(line[0] * (int(line[2:i]) - len(s)) + s)
Note that non-ascii characters in the above source code will be escaped (such as \x9f).