$css_element=document.getElementById("CSS_27015");
  $total_players+=4;
  $css_element.innerHTML="(в игре: 4/20)";
  print_total();