<!--

// window location swaps
//changes location of current window and pops up a new window with the appropriate page
	function doubleDirect(newURL, openFile) {
		
		window.location = newURL
			
		window.open(openFile,'newwindow');
		}
	

//-->