use printf syntax