> None of those are redundant, but three tips:
Actually all of the individual jquery UI files are redundant with jquery.ui-1.7.2.custom.min.js if that download was configured properly. Try with just these three: jquery-1.3.2.js, jquery.bgiframe.js, jquery.ui-1.7.2.custom.min.js
