// this script performs the marquee effect on the site home page
var t;
var span = Array(2);
var tgt = 0;
var nxt = 1;

var cursor = "\\";

var winWordsPtr = 1;

function typeWinWords() {

  if (winWordsPtr > winWords.length) return;

  span[tgt] = document.getElementById("tgtSpan");
  var tgtDiv = span[tgt].parentNode;

  span[nxt] = document.createElement("span");
  span[nxt].setAttribute("id", "tgtSpan");
    
  if (cursor=="\\"){
    cursor="|"}
  else if (cursor=="|"){
    cursor="/"}
  else if (cursor=="/"){
    cursor="-"}
  else if (cursor=="-"){
    cursor="\\"}
	
  if (winWordsPtr+1 > winWords.length) cursor = ""  // last time
  
  var newTextNode = document.createTextNode(winWords.substring(0,winWordsPtr)+cursor);
  span[nxt].appendChild(newTextNode);

  tgtDiv.replaceChild(span[nxt], span[tgt]);
  
  if(tgt == 0) { tgt = 1; nxt = 0}
  else {tgt = 0; nxt = 1}
  
  winWordsPtr = winWordsPtr + 1;
  t=setTimeout("typeWinWords()",40);
  }