function updateHeadline(arg1, arg2){
  if(parent.headline.document.getElementById("headline1")) parent.headline.document.getElementById("headline1").innerHTML = arg1;
  if(parent.headline.document.getElementById("headline2")) parent.headline.document.getElementById("headline2").innerHTML = arg2;
}

if (top.geladen != 'fertig')
  top.location.replace('./index2.html?' + location.pathname + location.search);