function pop_target(url, window_name, params)
{
	var new_window;
	if (navigator.appName == 'Microsoft Internet Explorer') {
		new_window = window.open(url, null, params);
	}
	else {
		new_window = window.open(url, window_name, params);
	}
	if (window.focus) {
		new_window.focus();
	}
}