if(document.getElementById("related_wov_articles"))
    { var el=document.getElementById("related_wov_articles");if(el.getElementsByTagName("li").length==0){el.parentElement.remove();}}