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";