function img_swap(img, state) {
  if(document.images)
  {
    imgPath = 'img/navbar_' + img + state + '.gif'
    document.images[img].src = imgPath;
  }
}