<!--

 
   function sendToClipboard(s)
   {
      if( window.clipboardData && clipboardData.setData )
      {
         clipboardData.setData("Text", s);
      }
      else
      {
         alert("Internet Explorer required");
      }
   }
 
//-->