var hash = Object.extend({}, object || {}); Object.extend(hash, Enumerable); Object.extend(hash, Hash); return hash; } 
if (object && object.constructor == Hash) return object; return new Hash(object); }; 
function $H(object) {  var hash = Object.extend({}, object || {});  Object.extend(hash, Enumerable);  Object.extend(hash, Hash);  return hash;}
856	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/856/53dfa93e53bccf5af1729cbdce88cb70e1ffcca5/prototype.js/clean/public/javascripts/prototype.js