ument.getElementById(key).value = json[key]
        }
    }

    async function put() {
        var config = {}
        temps = ["T1", "T2", "T3", "T4", "T5", "dT1", "dT2"]
        for (var key in temps) {
            config[temps[key]] = parseFloat(document.getElementById(temps[key]).value)
        }

        var s = JSON.stringify(config)
        
        const response = await fetch('http://' + window.location.host + '/rest/ht/', {
            method: 'PUT',
            body: s,
            headers: {
  