use printf instead of echo