// JavaScript Document
 function changeURL(){
var oListbox = document.getElementById("sel");
if(oListbox.options[oListbox.selectedIndex].text!="nothing"){
location.href ="location.php?id="+oListbox.options[oListbox.selectedIndex].getAttribute("value");
 }
}