demo: using toString()