if (window.ERR === undefined) {
    ERR = function() {
        window.location.replace("${B_REDIRECT_URI}");
    throw Error();
    };