printf("%d", x);