printf(...) function updated !!!