a; if (!preg_match('/^https?:\/\//i', $a)) { $a = '#top#' . urlencode($a); } ?>
• tabTitle); ?>