header("Location: $location/search.php?where=" . urlencode($where) .
'&what=' . urlencode($what) . '&mailbox=' . urlencode($mailbox));
} else {
header("Location: $location/search.php?where=" . urlencode($where) .
'&what=' . urlencode($what) . '&mailbox=' . urlencode($mailbox));
} else {