+
+ if($seq!=4 && $trickNR>1)
+ echo " </div>\n </li>\n"; /* end div trick, end li trick */
+
+ /* display points in case game is over */
+ if($mystatus=='gameover' && DB_get_game_status_by_gameid($gameid)=='gameover' )
+ {
+ echo " <li onclick=\"hl('13');\" class=\"current\"><a href=\"#\">Score</a>\n".
+ " <div class=\"trick\" id=\"trick13\">\n";
+ /* add pic for re/contra
+ " <img class=\"arrow\" src=\"pics/arrow".($pos-1).".png\" alt=\"table\" />\n";*/
+
+ $result = mysql_query("SELECT User.fullname, IFNULL(SUM(Card.points),0), Hand.party,Hand.position FROM Hand".
+ " LEFT JOIN Trick ON Trick.winner=Hand.position AND Trick.game_id=Hand.game_id".
+ " LEFT JOIN User ON User.id=Hand.user_id".
+ " LEFT JOIN Play ON Trick.id=Play.trick_id".
+ " LEFT JOIN Hand_Card ON Hand_Card.id=Play.hand_card_id".
+ " LEFT JOIN Card ON Card.id=Hand_Card.card_id".
+ " WHERE Hand.game_id='$gameid'".
+ " GROUP BY User.fullname" );
+ while( $r = mysql_fetch_array($result,MYSQL_NUM))
+ echo " <div class=\"card".($r[3]-1)."\">\n".
+ " <span class=\"score\">".$r[2]."<br /> ".$r[1]."</span>\n".
+ " </div>\n";
+
+ echo " </div>\n </li>\n"; /* end div trick, end li trick */
+ }
+
+
+ echo "</ul>\n"; /* end ul tricks*/