var g = function(oldName, newName){ dw[(newName||oldName)] = h(oldName); } 
var g=function(_8f5,_8f6){ dw[(_8f6||_8f5)]=h(_8f5); }; 
  var g = function(oldName, newName){    dw[(newName||oldName)] = h(oldName);  }
6315	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6315/90939f35f46f873d9b1f5c5f818ecf012711dc71/dojo.js/buggy/src/main/resources/org/apache/struts2/static/dojo/dojo.js