var selected_id = false;

// Switch div state.
function set_div (id) {

	// Get display value
	var display = document.getElementById(id).style.display;
	
	// Fold
	if (display == 'block') {
		
		document.getElementById(id).style.display = 'none';
		selected_id = false;
	
	// Unfold
	} else {
		
		// Fold
		if (selected_id != false) {
		
			document.getElementById(selected_id).style.display = 'none';
		}
		
		document.getElementById(id).style.display = 'block';
		selected_id = id;
	}
}