             button.value = '...processing...';

                setTimeout(function(){
                    button.value = oldValue;
                    button.removeAttribute('disabled');
                }, 5000)
            }

            function selectConfig(configId) {
                protocolId = parseInt(configId);
            }

            function updateScroll(sName) {
                val = document.getElementById('param'+sName).value;
                document.getElementById('param'+sName+'Scroll'