name = name.replace(/-([a-z])/ig,function(z,b){return b.toUpperCase();}); 
arg = arg.replace(/(<(\w+)[^>]*?)\/>/g, function(m, all, tag){ return tag.match(/^(abbr|br|col|img|input|link|meta|param|hr|area)$/i)? m : all+"></"+tag+">"; }); 
			name = name.replace(/-([a-z])/ig,function(z,b){return b.toUpperCase();});
6056	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6056/500ff12d5da5e0d454663203101d65c9ed37cffa/core.js/buggy/src/core.js