I have an array of player's IDs. There will generally be about 5 players, not likely to be more then a dozen:

```
$cplayers= array(1,2,5);

```

I want to display the players names as a list.

```
$query = "SELECT username,id FROM users ORDER BY id";
$result = mysql_query($query) or die(mysql_error());
$row = mysql_fetch_array($result);
$playercounter =0;
while ( $row = mysql_fetch_array($result) ) {

  if ($row['id'] == $cplayers[$playercounter]) {
    echo "<li>".$row['username']."</li>";
    $playercounter++;
    }
  }

```

So I'm pretty sure this isn't the most efficient way I could do this. Would it be better to do individual queries? 
Also is there a good way to exit the while loop once `$cplayers` is done?