0){ $a="/community/"; } else{ $a=$_SERVER['HTTP_REFERER']; } header("Location: $a"); } else{ header("Location: /index_OLD.html"); } ?>