'; exit; endif; if($url != ""): header('Location: '.$url); else: print ''; endif; ?>