$_SESSION['marked'] = serialize($marked);
echo '<input class="mail-purge" type="button" value="Purge Mails ('.
count($marked).')" onclick="javascript: location.href=\'quarantine.php?op=purge\'"/>';
$_SESSION['marked'] = serialize($marked);
echo '<input class="mail-purge" type="button" value="Purge Mails ('.
count($marked).')" onclick="javascript: location.href=\'quarantine.php?op=purge\'"/>';