function csrf_check(){    global $token;    if(!isset($token) || strcasecmp($token, $_SESSION['token']) != 0){        echo '<a href="#">DedeCMS:CSRF Token Check Failed!</a>';        exit;    }}