var newwindow=null;
function pop (url, name, height, width, optionList) {
	if (optionList != '') { optionList = optionList+','; }
	if (newwindow != null && ! newwindow.closed) { newwindow.close(); }
	newwindow = window.open(url,name,optionList+'width='+width+',height='+height);
	newwindow.focus();
}