print a string