if (typeof(window.bootstrap) == 'undefined') {
    bootstrap = {
        domain: 'www.engin.umich.edu', 
        jsFiles: [
            ['/js/jquery-1.2.js', function() { return window.jQuery && window.$ && window.jQuery == window.$; }],
            ['/js/forms/core.js', function() { return window.jQuery && window.jQuery.extLoaded; }],
            ['/js/forms/form.js', function() { return window.Forms && window.Forms.forms; }]
        ],
        
        includeJS: function(src) {
            if (window.location.host != this.domain) {
                src = window.location.protocol + '//' + this.domain + src;
            }
            document.write('<script src="' + src + 
                           '" type="text/javascript"></script>');
        },
        
        load: function() {
            for (i = 0; i < this.jsFiles.length; i++)
                if (!this.jsFiles[i][1]())
                    this.includeJS(this.jsFiles[i][0]);
        }
    };
    bootstrap.load();
}