lement("option");
        var text = document.createTextNode(label);
        labelOption.appendChild(text);
        labelOption.disabled = "disabled";
        if (ownoptval == undefined ) {
            labelOption.selected = "selected";
        }
        labelOption.value = 0;
        select.appendChild(labelOption);

        for (var i=0; i < N; i++) {
            var option = document.createElement("option");
            option.value = i;
            if (ownoptval == i) {
                option.selected =