printf(123)