function gE(id){var el=document.getElementById(id);if(el)return el;return null;}
function hE(id){var el=gE(id);if(el)el.style.display="none";}
function sE(id){var el=gE(id);if(el)el.style.display="";}