//spit out the results
echo "<font face=\"verdana\" color=\"#ffffff\" size=\"1\">";
if($users == 1) {
print ("$users Piloto En Linea!\n");
} else {
print("$users Pilotos En Linea!\n");
}
echo "</font>";
?>