             output_text.backgroundColor = 0x001f0f;
             output_text.textColor = 0x44cc44;
 
+            /* Setup client counter for badge. */
+            client_count_fmt = new TextFormat();
+            client_count_fmt.color = 0xFFFFFF;
+            client_count_fmt.align = "center";
+            client_count_fmt.font = "courier-new";
+            client_count_fmt.bold = true;
+            client_count_fmt.size = 10;
+            client_count_tf = new TextField();
+            client_count_tf.width = 20;
+            client_count_tf.height = 17;
+            client_count_tf.background = false;
+            client_count_tf.defaultTextFormat = client_count_fmt;
+            client_count_tf.x=47;
+            client_count_tf.y=3;
+
+            /* Update the client counter on badge. */
+            update_client_count();
+
             puts("Starting.");
             // Wait until the query string parameters are loaded.
             this.loaderInfo.addEventListener(Event.COMPLETE, loaderinfo_complete);

    import flash.display.StageAlign;
    import flash.display.StageScaleMode;
    import flash.text.TextField;
    import flash.net.Socket;
    import flash.events.Event;
    import flash.events.IOErrorEvent;


            if (this.loaderInfo.parameters["debug"])
                addChild(output_text);
            else {
                addChild(new BadgeImage());
                /* Tried unsuccessfully to add counter to badge. */
                /* For now, need two addChilds :( */
                addChild(client_count_tf);
            }

            fac_spec = this.loaderInfo.parameters["facilitator"];
            if (fac_spec) {
