/** Here is the header and wrapping table **/
$shortBoxName = readShortMailboxName($mailbox, ".");
echo "<A NAME=pagetop></A>\n";
/** Here is the header and wrapping table **/
$shortBoxName = readShortMailboxName($mailbox, ".");
echo "<A NAME=pagetop></A>\n";