if( window == window.top )
	window.top.location.replace( '../?url=' + 
	escape( window.location.pathname )
);