         $.notify(json.text);
          }
          if (json.hasOwnProperty('html')) {
              // using jquery $('<div>').text(json.html) will escape
              // the HTML which we do not want. We want to embed the html
              // within this page itself.
              txt = txt + '<div>' + json.html+ '</div>';
              $.notify(json.html);
          }
          if (json.hasOwnProperty('calltractime_usec')) {
              txt = txt + '<div><pre>calltractime_usec: ' + json.calltractime_