Please do not resubmit."; else { header('Location: ./article.php?id_art='); exit; } ?> ....

<?php echo $text_com ?>

....