            return dojo.html.toPixelValue(node, dojo.html.getComputedStyle(node, styleProperty)); 
            return dojo.html.toPixelValue(node, dojo.html.getComputedStyle(node, styleProperty)); 
dojo.html.getPixelValue = function(/* HTMLElement */node, /* string */styleProperty, /* boolean? */autoIsZero){	// summary	//  Get a computed style value, in pixels.	// node: HTMLElement	//  Node to interrogate	// styleProperty: String	//  Style property to query, in either css-selector or camelCase (property) format.	// autoIsZero: Boolean	//  Deprecated. Any value that cannot be converted to pixels is returned as zero.	// 	//  summary	//  Get the value of passed selector in pixels.	//	return dojo.html.toPixelValue(node, dojo.html.getComputedStyle(node, styleProperty));} 
6315	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6315/2f1d2cb699c9d9329e8b782b0463156e211cb0f6/struts_dojo.js.uncompressed.js/buggy/src/main/resources/org/apache/struts2/static/dojo/struts_dojo.js.uncompressed.js