{
  headline = new Array(3)
  headline[1] = "../../02_Headlines/HeadlineBlank.gif";
  headline[2] = "../../02_Headlines/120118_DatesToRemember1.gif";
  headline[3] = "../../02_Headlines/120118_DatesToRemember3.gif";

}

var timer2 = null
var counter2 = 0

function headlines_slideshow() {
  timer2=setTimeout("headlines_slideshow()", 3000);
  counter2++;
    if (counter2 > 3)
      counter2 = 1;
      document.headline.src = headline[counter2];
}