database ){ mysql_close($db_connection); } ?>