function NavOver(obj) {
  var imgs = obj.children;
  for (var i=0; i<imgs.length; i++) {
    if (imgs[i].src) {
      var overImg = imgs[i].src.replace(/\.gif/, "_over.gif");
      imgs[i].src = overImg;
    }
  }
}
function NavOut(obj) {
  var imgs = obj.children;
  for (var i=0; i<imgs.length; i++) {
    if (imgs[i].src) {
      var overImg = imgs[i].src.replace(/_over\.gif/, ".gif");
      imgs[i].src = overImg;
    }
  }
}