var colors= new Array('ffffff','88ee88', '66cc66', '44aa44', '339933', '226622', '115511', '005000');
        
        writeShort(1, 1);
        
        function writeShort(line, i) {
          if(line==txt.length) line= 1;
          if(i==1) document.getElementById('shortD').style.color= '#'+colors[0];
          document.getElementById('shortD').innerHTML= txt[line].substr(0, i);
          if(i<txt[line].length) setTimeout('writeShort('+line+','+(i+1)+')',100);
          else setTimeout('shade('+line+',1)',1000);
        }
        function shade(line, i) {
          document.getElementById('shortD').style.color= '#'+colors[i];
          if(i<(colors.length-1)) setTimeout('shade('+line+','+(i+1)+')',50);
          else setTimeout('writeShort('+(line+1)+',1)',500);
        }