printf and String.format