function set_div (id, display) {
	
	// On request
	if (display) {
		
		new_display = display;
		
	// On current settings
	} else {
		
		var display = document.getElementById(id).style.display;
		
		if (display == 'block') {
			
			var new_display = 'none';
			
		} else {
			
			var new_display = 'block';
		}
	}
	
	document.getElementById(id).style.display = new_display;
}