phpとmysqlで変数をエコーし​​たい場合のリソースID＃10

実行したクエリのリソースIDを出力しようとしています。実際の結果を得るには、具体的にリクエストする必要があります：

$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;
}