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