function changeHighlightOn(img) {
   if (img.src.match(/highlight=$/)) {
     img.src = img.src.replace(/highlight=$/, "highlight=1")
   }
}

function changeHighlightOff(img) {
   if (img.src.match(/highlight=1$/)) {
     img.src = img.src.replace(/highlight=1$/, "highlight=")
   }
}