Miscellany

<?php

$leaderboard[] = array("name1", 4.144444);
$leaderboard[] = array("name2", 50.805556);
$leaderboard[] = array("name3", 14.157003);
$leaderboard[] = array("name4", 43.549260);
$leaderboard[] = array("name5", 1.457143);
$leaderboard[] = array("name6", 3.404833);
$leaderboard[] = array("name7", 2.435897);

?>