function goToArticle(){var a=document.getElementById("articles").selectedIndex;document.location="#article"+a};