// JavaScript Document
function show_a(){
		document.getElementById("ensemble_popin1").style.display = "block";
}

function show_b(){
		document.getElementById("ensemble_popin1").style.display = "none";
}