isNS = (navigator.appName == 'Netscape');
isIE = (navigator.appName.indexOf('Microsoft') != -1);
isOP = (navigator.appName == 'Opera');
ns4 = (document.layers);
ie4 = (document.all && !document.getElementById);
ie5 = (document.all && document.getElementById);
ns6 = (!document.all && document.getElementById);

function over(koi, koi2){
var obj = document.getElementById(koi);
var obj2 = document.getElementById(koi2);
   obj.src = "/images/buttons/bullet_red.gif";
   obj2.src = "/images/buttons/red_"+koi2+".gif";
}
function out(koi, koi2){
var obj = document.getElementById(koi);
var obj2 = document.getElementById(koi2);
   obj.src = "/images/buttons/bullet_brown.gif";
   obj2.src = "/images/buttons/"+koi2+".gif";
}
function change_pic(pic_id, pic_src) {
  var obj = document.getElementById(pic_id);
  obj.src = pic_src;
}