Change Promo Rotation Interval

I need to increase the time the promo banners display before they rotate.  I was sure I had this worked out.  I'm editing these lines in the /domain.com/inc/js/jquery.dolPromo.js file:

//default parameters

var iInterval = iInterval || 3000; //switching interval in milliseconds

The default is 3000 milliseconds.  I've tested 100000 milliseconds and see no change.  I cleared caches and reloaded in both Safari and Firefox.  As an additional test I edited these lines:

function switchThem() { if( typeof ePrev != 'undefined' ) ePrev.fadeOut( 1000 ); eNext.fadeIn( 1000 );

As you can see the defaults are 1000 milliseconds.  I changed these to 100000 milliseconds, reloaded, and the fade in and fade out drastically changes.  So these parameters do seem to work, but I cannot get the interval timing to change.

Any thoughts??

So this was just a syntax issue.  I commented out a piece and it works fine now:

var iInterval = /* iInterval || */ 10000; //switching interval in milliseconds

This worked. thank you