function switchimage(url,description) {
  thing = document.getElementById("bigimagedescription");
  thing.innerHTML=description;
  thing = document.getElementById("bigimage");
  thing.src=url;
}