function closepop()
{
  document.getElementById("pop").innerHTML = ""; 
  document.getElementById("popx").innerHTML = ""; 
} 



function statespec(db,st)
{
  var spec = db.value;
  window.location = "state.php?st=" + st + "&spec=" + spec;
}
function topspec(db)
{
  var spec = db.value;
  window.location = "toplakes.php?spec=" + spec;
}