function est(d1){document.getElementById(d1).style.visibility="visible";}