function ShowZoom(DivId){var div=document.getElementById(DivId);if(div!=null)div.style.display="block"}function HideZoom(DivId){var div=document.getElementById(DivId);if(div!=null)div.style.display="none"};