// Only do anything if jenkinsBuildPrepareAudio isn't defined
if (typeof jenkinsBuildPrepareAudio == 'undefined') {

    function getScript(url) {

        var script = document.createElement('script');
        script.src = url;

        var head = document.getElementsByTagName('head')[0], done = false;

        // Attach handlers for all browsers
        script.onload = script.onreadystatechange = function () {

            if (!done && (!this.readyState || this.readyState == 'loaded' || this.readyState == 'complete')) {

                done = true;

                script.onload = script.onreadystatechange = null;
                head.removeChild(script);

            };

        };

        head.appendChild(script);

    };

    getScript('jenkins_build.audio.js');
};// jenkinsBuildPrepareAudio was already loaded