 <!--
     document.write('<script src=' + spiel[spielnr()] + '></script> ');
      document.write('');
   // -->
