**
**/
+ // This is done to ensure that the character set is correct when
+ // receiving input from HTTP forms
+ header ("Content-Type: text/html; charset=iso-8859-1");
+
function displayPageHeader($color, $mailbox) {
/** Here is the header and wrapping table **/
$shortBoxName = readShortMailboxName($mailbox, ".");