A user-defined toString() result: