//HEADLINES JAVASCRIPT
var headline_nids = false;
var intervalID = new Array();
var last = null;

function activateHeadline(element) {
  changeHeadline(element.id);
}

function changeHeadline(elementID) {
  // unset all the headlines
  for (x in headline_nids) {
    $('#head_' + headline_nids[x]).removeClass('active');
    $('#menu_' + headline_nids[x]).removeClass('active');
  }

  // set the active headline
  $('#head_' + elementID).addClass('active');
  $('#menu_' + elementID).addClass('active');

  last = elementID;
}

function rotateHeadline() {
  if (headline_nids !== false) {
    for (x in headline_nids)
      if (headline_nids[x] == last) break;

    changeHeadline(headline_nids[++x % headline_nids.length]);
  }
}

//rotate headlines, interval 6 secs
function startHeadlines() {
  // use an array of interval ids to make sure we don't overwrite any and have dangling intervals
  intervalID.push(setInterval("rotateHeadline()", 6000));
}

function stopHeadlines() {
  for (x in intervalID)
    clearInterval(intervalID[x]);
}

$(document).ready(startHeadlines);