<? function title() { global $user; if (isset($user)) { global $set; if ($set['web'] == false) { } } } ?>