Added .asJSONstr() to avoid the problem that str(asJSON()) returns single
quotes, whereas valid JSON strings have double quotes.