#include <stdio.h>

typedef unsigned int u32;

u32
Length(char *S)
{
    u32 L = 0;
    while(*S++) L++;
    return L;
}

void
f(char *In, u32 Len, char *Out)
{
    u32 L = Length(In);

    if(Len < L)
    {
        u32 i;
        for(i = 0;
            i < Len;
            ++i)
        {
            Out[i] = In[i];
        }
    } else
    {
        u32 i;
        for(i = 0;
            i < L;
            ++i)
        {
            Out[i] = In[i];
        }
        for(i = L;
            i < Len;
            ++i)
        {
            Out[i] = 'X';
        }
    }

    Out[Len] = 0;
}

int main()
{
    char  In[21];
    char Out[51];
    u32 L;

    scanf("%s", In);
    scanf("%u", &L);

    f(In, L, Out);
    printf("%s", Out);
}