/* XXX ERROR -- could not find '++resource++jquery-ui-1.7.2.min.js'*/