var selected_id = false;

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

	// 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 {

		if (top_value) {

			document.getElementById(id).style.top = top_value + 'px';

		}

		// Fold
		if (selected_id != false) {

			//document.getElementById(selected_id).style.display = 'none';
		}

		document.getElementById(id).style.display = 'block';
		selected_id = id;
	}
}
