texts; mysql_free_result($result); mysql_close($db_con); ?>