ock';

        document.getElementById(tab + '-tab-deb').className = 'tab';
        document.getElementById(tab + '-tab-rpm').className = 'tab';
        document.getElementById(tab + '-tab-macos').className = 'tab';
        document.getElementById(tab + '-tab-setup').className = 'tab';
        document.getElementById(tab + '-tab-' + id).className = 'tab selected';
    }
</script>

</body>
</html>
