function makeHTML(theStr) {
  var theHTML = theStr; 
  var theOutput = " <ul>";
  var theArray = new Array();
      theArray = theStr.split(':;:')
      var j=0;
  
//   for (i=0;i<theArray.length;i++)
//  {
//   theOutput +=("&nbsp;&nbsp;<li>"+ theArray[i]+","+ i +"</li>")
//  }    
      
   
  for (i=0;i<theArray.length-1;)
  {
   theOutput +=("&nbsp;&nbsp;<li><a href= '"+ theArray[i] +"'>"+ theArray[i+1]+"</a>&nbsp("+ theArray[i+2] +")</li>")
   i=i+3
  }    
   
  theOutput +="</ul>";
  return(theOutput);
}

  function mover() {
     window.event.srcElement.style.color="#003399";
     window.event.srcElement.style.fontWeight="bold";
   }

   function mout() {
     window.event.srcElement.style.color="#000000";
     window.event.srcElement.style.fontWeight="normal";
   }
   
 //  <td  onmouseover='mover()' onmouseout='mout()'