// This highlights the Mailbox of the same name in the Mailboxes frame
function highlightMailbox() {
//var theMailboxname = "";
//theMailboxname = String(arguments[0]);
//top.frames[0].document.getElementById(theMailboxname).className='GeneralTextHighlighted';
}
