function switchimage(image, src) {
  if (src != image.src) {
    image.src=src;
  }  
}