// General JS functions

function switch_tabs_to_the_left(clicked_div, total) {
	
	for (i=0;i<total;i++) {
		var thediv = "div"+i;
		if (clicked_div!=(thediv)) {document.getElementById(thediv).className="";}
	}
	
	document.getElementById(clicked_div).className="activesub";
	
}