function do_query(){
        global $connection, $page;
        $query='';
        if (!empty($_POST)){
                if (empty($_POST['query'])) {
                        $error="No query specified";
                }else {
                        $query=$_POST['query'];
                        #$result = mysqli_query($connection, $query);
                        #if ($result) {
                        #       $_SESSION['notices'][]="Query successful";
                        #} else {
                #               $_SESSION['notices'][]="Query failed";
                #       }
                        $_SESSION['notices'][]="Query successful";

                        header("Location: ?page=admin_query");
                        exit(0);
                }
        }
        include("views/admin_query.html");
}