"; } mysql_close($connection); echo "PHP MySql database connection closed.
"; ?>