pretty print 5.3