$_SESSION['marked'] = serialize($marked);
echo '<input class="mail-purge" type="button" value="Purge Mails ('.
count($marked).')" onclick="javascript: location.href=\'quarantine.php?op=purge\'"/>';
+ echo '<input class="mail-purge" type="button" value="Release checked Mails."
+ onclick="javascript: checkAction();"/>';
echo "<p class=\"page-nav\">$first$prev Showing page $pageNum of
$maxPage pages $next$last</p>";