s/')[0] + 'padl/docs/versions.json';
        } else {
          var currentVersion = pathName.split('padl/')[1].split('/')[0];
          var versionsFile = pathName.split('padl/')[0] + 'padl/versions.json';
        }
        console.log('current version:' + currentVersion)
        console.log('versions file: ' + versionsFile)
        httpRequest = new XMLHttpRequest();
        httpRequest.onreadystatechange = addVersions;
        httpRequest.open('GET', versionsFile);
        httpRequest.send();

        do