var active="1";
function switch_tabs(tab_num) {
		document.getElementById("active").style.display="none";
		document.getElementById("active").id="box_" + active;
		document.getElementById("box_" + tab_num).style.display="block";
		document.getElementById("box_" + tab_num).id="active";
		active=tab_num;
};