新手提问求详细解答

若有说明int x=0xDEF;则下面三条语句：
printf(“％4d＼n”，x);
printf(“％4o＼n”，x);
printf(“％4x＼n”，x);
执行后输出的结果是
3567
6757
def
答案怎么得来的啊，爪机党虚心求解