function toggle_size_status(id){
	var head = document.getElementById(id + "_head");
	var container = document.getElementById(id);

	if (container){
		if(container.className == "toggle_folded"){ 
			container.className = "toggle_unfolded";
			head.className = "toggle_unfolded_head";
			if(! currently_unfolded == ""){
				var old_container = document.getElementById(currently_unfolded);
				var old_head = document.getElementById(currently_unfolded + "_head");
				if(old_container) old_container.className = "toggle_folded";
				if(old_head) old_head.className = "toggle_folded_head";
			}
			currently_unfolded = id;
		}
		else{
			container.className = "toggle_folded";
			head.className = "toggle_folded_head";
			currently_unfolded = "";
		}
	}
}

function init(init_unfolded){
	currently_unfolded = init_unfolded;
}