#include <stdio.h>

    int main()
    {
        int a=10;
        printf("%15d\n", a);
    }