JSON-encode and JSON-decode text strings
as you type using PHP and Javascript functions