window.zinc = {
    root: "http://zinc.docking.org/",
    url: function(path) { 
        return window.zinc.root + path.replace(/^\//, '');
    }
};