dojo.profile = { start: function(){}, end: function(){}, stop: function(){}, dump: function(){} }; 
end: function(){ return height; } 
dojo.profile = { start: function(){}, end: function(){}, stop: function(){}, dump: function(){} };
6315	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6315/90939f35f46f873d9b1f5c5f818ecf012711dc71/dojo.js/clean/src/main/resources/org/apache/struts2/static/dojo/dojo.js