Vous essayez d'imprimer l'ID de ressource de la requête que vous venez d'exécuter. Pour obtenir les résultats réels, vous devez en faire la demande spécifique :
$result = mysql_query("SELECT highscore FROM mydatabase WHERE userID = 1234");
if (mysql_num_rows($result)) {
$score = mysql_fetch_assoc($result);
echo $score['highscore'];
}
else {
echo 1;
}