rem:      div.ownerDocument.location.href = div.ownerDocument.location.href; 
add: iframe.onreadystatechange = null; client.processVariableChanges(true);   
context: 			iframe.onreadystatechange = function() {							if (iframe.readyState == "complete") {					//TODO: Is there a better way? Cannot figure out a 					// way to take the changes out of iframes document in IE.					// FF seems to be working, but IE just renders the					// XML as highlight HTML and looses the original XML.					//div.ownerDocument.location.reload();					div.ownerDocument.location.href = div.ownerDocument.location.href;				}			};
meta: 2819	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/2819/57b772916340bcce0fea96d041284795f2c9bde6/theme.js/buggy/WebContent/themes/default/theme.js