if(window.opera) effect.element.setStyle({top: ''}); effect.element.makeClipping().setStyle({height: '0px'}).show(); 
if (window.opera) effect.element.setStyle({top: ''}); effect.element.makeClipping().show(); 
    afterSetup: function(effect) {      effect.element.makePositioned();      effect.element.down().makePositioned();      if(window.opera) effect.element.setStyle({top: ''});      effect.element.makeClipping().setStyle({height: '0px'}).show();     },
4999	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4999/0c67d2a1c175fa312f232b827bd1c26b95eac0e1/effects.js/buggy/wp-includes/js/scriptaculous/effects.js