+ echo " <div class=\"sessionscore\">";
+ if($finalscore)
+ {
+ echo "Score: \n";
+ /* output the final score on the front page */
+ foreach($finalscore as $user=>$value)
+ {
+ $name = DB_get_name('userid',$user);
+ echo " ".substr($name,0,2).": $value ";
+ }
+ }
+ else