function show_box(box_nr) {
	box_ul = "box_ul_"+box_nr;
	if (document.getElementById(box_ul).style.display == "none")
		box_reveal(box_ul);
	else
		box_minimize(box_ul);
}

function box_reveal(box_ul) {
	document.getElementById(box_ul).style.display = "";
}
function box_minimize(box_ul) {
	document.getElementById(box_ul).style.display = "none";
}