using printf