function pic_change(elementId, bildNr, langId, suffix) {
  document.getElementById(elementId).src = "fileadmin/rohacek/template/pics/subheader_pics/sub_header_bild_"+bildNr+"_"+langId+suffix+".png";
}