设x=12、y=12345，执行语句printf（“%4d，%4d”，x，y）；的输出结果是（）。