var toolsWindowExOptions = "toolbar=yes,location=yes,directories=no,status=no" 


	+ ",menubar=no,scrollbars=yes,resizable=yes" 


	+ ",width=770,height=540";


	var toolsWindowEx;

function OpenToolsWindowEx(theFile) {
var done = false;

	if ((toolsWindowEx == null) || (toolsWindowEx.closed)){ 

		toolsWindowEx = this.open(theFile, "toolsWindowEx", toolsWindowExOptions);
		done = true;

	} 


	if (done==false) {
		toolsWindowEx.location.replace(theFile);
	}

	toolsWindowEx.focus(); 


}