setWidth: function(/*String or int*/width){     if((typeof width == "string")&&(width.substr(-1) == "%")){ this.setPercentageWidth(width); }else{ this.setNativeWidth(width); } }, 
},setWidth:function(_930){ if((typeof _930=="string")&&(_930.substr(-1)=="%")){ this.setPercentageWidth(_930); }else{ this.setNativeWidth(_930); } },setHeight:function(_931){ 
  setWidth: function(/*String or int*/width){    // summary: like it says on the tin...    // width:    //    the width, either in native measures, or as a percentage. If as    //    percentage, pass it as a string in the form "30%".    if((typeof width == "string")&&(width.substr(-1) == "%")){      this.setPercentageWidth(width);    }else{      this.setNativeWidth(width);    }  },
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