element._overflow = element.style.overflow || 'auto'; if ((Element.getStyle(element, 'overflow') || 'visible') != 'hidden') 
element._overflow = Element.getStyle(element, 'overflow') || 'auto'; if (element._overflow !== 'hidden') 
  makeClipping: function(element) {    element = $(element);    if (element._overflow) return element;    element._overflow = element.style.overflow || 'auto';    if ((Element.getStyle(element, 'overflow') || 'visible') != 'hidden')      element.style.overflow = 'hidden';    return element;  },
4999	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4999/0c67d2a1c175fa312f232b827bd1c26b95eac0e1/prototype.js/clean/wp-includes/js/prototype.js