function gotoPage() { var chosenPage = document.getElementById('galerie').options[ document.getElementById('galerie').options.selectedIndex ].value;  window.location.replace('/galerie/'+chosenPage); }