Element.isParent = function(child, element) {  if (!child.parentNode || child == element) return false;  if (child.parentNode == element) return true;  return Element.isParent(child.parentNode, element);}
4999	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4999/15b6168787a6a25fd1fbbc41a3a5227b899071a9/dragdrop.js/clean/wp-includes/js/scriptaculous/dragdrop.js