function switch_image(i) {
  if (document.images) {
    if (i.src.indexOf('_off.') >= 0)
      i.src = i.src.replace(/_off\./,'_on.');
    else
      i.src = i.src.replace(/_on\./,'_off.');
  }
}