function showSpinner(){var a=document.getElementById("spinner");if(a!=null){a.style.display="block"}}function hideSpinner(){var a=document.getElementById("spinner");if(a!=null){a.style.display="none"}};