อยากถามเกี่ยวกับ select count เเล้วให้เเสดงจำนวนเเถวออกมาทางหน้านะครับ จะใช้โค้ดตัวไหน

<?php
 $con =mysql_connect (“localhost”,”root”,”1234”);
 mysql_select_db(“php”,$con);
 $result = mysql_query(“SELECT COUNT(Study_dormitory) AS Study_dormitory01 FROM Orders
WHERE Study_dormitory='01'”);
 $num = mysql_num_rows($result);
{
echo “You Got mail:: [ $num ] “;


 }
?>