if (START_PAGE=='article.php' && isset($_GET['article_id']) && isnum($_GET['article_id'])) {replace_in_output("