pocketmine\network\query\QueryHandler::getTokenString PHP Method

    public static function getTokenString($token, $salt)
    {
        return Binary::readInt(substr(hash("sha512", $salt . ":" . $token, true), 7, 4));
    }