function nodef(){
// only js enabled browser got def masked
var divTags= document.getElementsByTagName("div");
for (var x=0;x<divTags.length;x++)
 if (divTags[x].id.search("cible_")>=0)
  divTags[x].style.display="none";
}

function showdef(myid){
// show/mask the def on request
var source=document.getElementById("source_"+myid)
var target=document.getElementById("target_"+myid)

if (target.style.display=="none")
{
 target.style.display=""
 source.oldtext=source.innerHTML
 source.innerHTML="hide "+source.oldtext
}
else
{
 target.style.display="none"
 source.innerHTML=source.oldtext
}
}

function show(id_cible) {
	id = "cible_"+id_cible;
	cible = document.getElementById(id);
	if (cible.style.display == "none"){cible.style.display="";}
	else{cible.style.display = "none";}
}