#include<stdio.h>
int main()
{
    int a = 0xabcdef;
    printf("%15d\n",a);

    return 0;
}