// <!--kur 040728-->

function header_change(txt1, pic0, pic1, pic2, pic3) {
//  document.all.mybackimage.background=pic1;
  document.all.mytext1.innerText=txt1;
  document.all.mytext1.className="legend";
//  document.all.pic0.src=pic0;
//  document.all.pic1.src=pic1;
//  document.all.pic2.src=pic2;
//  document.all.pic3.src=pic3;
}