function showResultDesc(b){var a=document.getElementById(b);if(a.innerHTML!=""){if(a.innerHTML!="..."){a.style.display="block";a.style.position="absolute";a.style["z-index"]="5000";a.style.visibility="visible"}}}function hideResultDesc(b){var a=document.getElementById(b);a.style.display="none";a.style.visibility="hidden"};