shown='';
function OpenFile(url) {
	if( shown=='' || shown.closed) {
		shown=window.location.replace(url);
		document.refresh;
	}
	else{
		shown.close();
		shown=window.location.replace(url);
		document.refresh;
	}
}