function shenvironments(){
document.getElementById('environments').style.display="block";
}
function dshenvironments(){
document.getElementById('environments').style.display="none";
}