   try{ var r = dojo.render.html;  if(!replace){ if(r.safari){ iframe.location = src; }else{ frames[iframe.name].location = src; } }else{  var idoc; if(r.ie){ idoc = iframe.contentWindow.document; }else if(r.safari){ idoc = iframe.document; }else{ idoc = iframe.contentWindow; } 
   try{ var r = dojo.render.html;  if(!replace){ if(r.safari){ iframe.location = src; }else{ frames[iframe.name].location = src; } }else{  var idoc; if(r.ie){ idoc = iframe.contentWindow.document; }else if(r.safari){ idoc = iframe.document; }else{ idoc = iframe.contentWindow; } 
dojo.io.setIFrameSrc = function(/*DOMNode*/ iframe, /*String*/ src, /*Boolean*/ replace){	//summary:	//		Sets the URL that is loaded in an IFrame. The replace parameter indicates whether	//		location.replace() should be used when changing the location of the iframe.	try{		var r = dojo.render.html;		// dojo.debug(iframe);		if(!replace){			if(r.safari){				iframe.location = src;			}else{				frames[iframe.name].location = src;			}		}else{			// Fun with DOM 0 incompatibilities!			var idoc;			if(r.ie){				idoc = iframe.contentWindow.document;			}else if(r.safari){				idoc = iframe.document;			}else{ //  if(r.moz){				idoc = iframe.contentWindow;			}			//For Safari (at least 2.0.3) and Opera, if the iframe			//has just been created but it doesn't have content			//yet, then iframe.document may be null. In that case,			//use iframe.location and return.			if(!idoc){				iframe.location = src;				return;			}else{				idoc.location.replace(src);			}		}	}catch(e){ 		dojo.debug(e); 		dojo.debug("setIFrameSrc: "+e); 	}}
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