0(x) {	// for IE compatibility
	return Math.log(x) / Math.log(10);
}
const log10_max_relative_errors = [log10(max_relative_errors[0]), log10(max_relative_errors[1]), log10(max_relative_errors[2])];

function reveal(no){
	document.getElementById("the_truth_" + no).style.display = "block";
	document.getElementById("button_" + no).style.display = "none";
	if(no == 1)
		slider_value[no] = log10(3.3675e-08);
	else if(no == 2)
		slider_value[no] = log10(29.3984);
	else if(no == 3)
		slider_value[no] = log10(7.603