"") { httpRedirect($url); } else { httpRedirect("/"); } ?>