//rouler.js
var nIndex = 0;
var timerID = null;
  
function rotateflash(){
      var len = flashArray.length;
      if(nIndex >= len)
         nIndex = 0;
      document.getElementById('logo').innerHTML = 
         flashArray[nIndex];
	      nIndex++;
      timerID = setTimeout('rotateflash()',10000);
   }

function pauseflash() {
      if (timerID != null) {
         clearTimeout(timerID);
         timerID = null;
      }
   }
   
   function playflash() {
      if (timerID == null) {
         timerID = setTimeout('rotateflash ()', 10000);
      }
   }