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

....