function slideLabel() {
          var slideColl = GetElementsWithClassName('*','slide');
          var list = document.getElementById('jumplist');
          smax = slideColl.length;
          for (var n = 0; n < smax; n++) {
                  var obj = slideColl[n];
  
                  var did = 'slide' + n.toString();
                  obj.setAttribute('id',did);
                  if (isOp) continue;
  
                  var otext = '';
                  var menu = obj.firstChild;
                  if (!menu) continue; // to cope with empty slides
                  while (menu && menu.nodeType == 3) {
                          menu = menu.nextSibling;
                  }
                   if (!menu) continue; // to cope with slides with only text nodes
  
                  var menunodes = menu.childNodes;
                  for (var o = 0; o < menunodes.length; o++) {
                          otext += nodeValue(menunodes[o]);
                  }
                  list.options[list.length] = new Option(n + ' : '  + otext, n);
          }
  }