8, 0, 10, 5, 8, "%x", function(lb, ub) {
		slider_lb[9] = slider_lb[7] * slider_lb[8];
		slider_ub[9] = slider_ub[7] * slider_ub[8];
		draw_slider(9);
	});
	init_slider(9, 0, 100, 15, 32, "%x", function(lb, ub) {
		slider_lb[8] = slider_lb[9] / slider_lb[7];
		slider_ub[8] = slider_ub[9] / slider_ub[7];
		if(slider_lb[8] > slider_ub[8]) {
			const mid = (slider_lb[8] + slider_ub[8]) / 2.;
			slider_lb[8] = mid;
			slider_ub[8] = mid;
			slider_lb[9] = slider_lb[7] * slider_lb[8];
			slider_ub[9] = slider_ub