    'random_min': random_min,
                    'random_max': random_max
                }

                var xhr = new XMLHttpRequest();
                var url = "./integer_sensor_settings";
                xhr.open("POST", url, false);
                xhr.setRequestHeader("Content-Type", "application/json");
                var data = JSON.stringify(payload);
                xhr.send(data);
            });

            delete_button.addEventListener("click", function(){
                var payload = 