     }
                    } else {
                        if (el.innerHTML != htmlRedLED) {
                            el.innerHTML = htmlRedLED;
                        }
                    }
                }

                var hasDeviceCapture = Module._hasDeviceCapture();
                {
                    var el = document.getElementById('has-device-capture');
                    if (hasDeviceCapture != 0) {
                        if (el.innerHTML != htmlGreenLED) {
                          