n_" + n).style.display = "none";
	document.getElementById("hidden_" + n).style.display = "inline";
}

function hide(n){
	document.getElementById("shown_" + n).style.display = "inline";
	document.getElementById("hidden_" + n).style.display = "none";
}

const slider_w = 608;
const slider_h = 84;
const slider_margin_left = 32;
const slider_margin_right = 32;
const slider_margin_top = 12;
const slider_margin_bottom = 12;

var slider_lb = [];
var slider_ub = [];
var slider_min_x = [];
var slider_max_x = [];
var 