use printf instead of println