do_logout(); header ("location: /login/"); ?>