/** Here is the header and wrapping table **/
$shortBoxName = readShortMailboxName($mailbox, ".");
$shortBoxName = stripslashes($shortBoxName);
+ echo "<A NAME=pagetop></A>\n";
echo "<TABLE BGCOLOR=\"$color[4]\" BORDER=0 WIDTH=\"100%\" CELLSPACING=0 CELLPADDING=2>\n";
echo " <TR BGCOLOR=\"$color[9]\">\n";
echo " <TD ALIGN=left WIDTH=\"30%\"><b>\n";
echo " \n";
displayInternalLink ("src/options.php", _("Options"), "right");
echo " \n";
+ displayInternalLink ("src/search.php?mailbox=$urlMailbox", _("Search"), "right");
+ echo " \n";
displayInternalLink ("src/help.php", _("Help"), "right");
echo " \n";