function ImageOver ( img_name, img_src) { 
  document.images[img_name].src = img_src;
}

function ImageSet ( img_name, img_src) { 
  document.images[img_name].src = img_src;
}

function ImageSet2 ( img_name, img_src) { 
  document.images[img_name].src = img_src;
}

function anders (idname, cssclass) {
  document.getElementById("header").className = cssclass;
}


function ImageOut ( img_name, img_src) { 
  document.images[img_name].src = img_src;
}