#include <stdio.h>

int main() {
    int num=123;
    printf("%-06d ",num);
    return 0;
}