function headerPics() {
  var pic
  pic = 1 + 113 * (Math.random());
  pic = Math.round(pic);
  document.getElementById("headPic").src = "fileadmin/img/teaser/head/autoSelect/"+pic+".jpg";
}