if (element._overflow) return; element._overflow = element.style.overflow; 
if (element._overflow) return element; element._overflow = element.style.overflow || 'auto'; 
  makeClipping: function(element) {    element = $(element);    if (element._overflow) return;    element._overflow = element.style.overflow;    if ((Element.getStyle(element, 'overflow') || 'visible') != 'hidden')      element.style.overflow = 'hidden';  },
6445	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6445/81ea0800bc8ad92d491743716cd489cad7333723/prototype.js/clean/vendor/rails/railties/html/javascripts/prototype.js