_anvil = $a; } public function redirect($url) { header('Location: '.$url); } } ?>