function popup(url, title, focus, width, height) {
	if (/MSIE (\d+\.\d+);/.test(navigator.userAgent)) {
		location.href = url;
		return;
	}
	var w;
	if (width === undefined || height === undefined)
		w = window.open(url,title);
	else
		w = window.open(url,title,'width=' + width + ',height=' + height);
	if (focus == true)
		w.focus();
}