function winResize(width,height) {

    if (document.all) {
	var newTop = (screen.width-width)/2
	var newLeft = (screen.height-height)/2

	window.moveTo(newTop,newLeft)
	window.resizeTo(width,height)
    }
}



function popup(mypage, winname, w, h, scroll) {
	if (winname=='' || winname=='undefined' || winname==null){winname='editor';};
	if (scroll=='' || scroll=='undefined' || scroll==null){scroll='auto';};
	var winl = (screen.width - w) / 2;
	var wint = (screen.height - h) / 2;
	winprops = 'height='+h+',width='+w+',top='+wint+',left='+winl+',scrollbars='+scroll+',notresizable';
	win = window.open(mypage, winname, winprops);
	if (win.opener == null) { win.opener = self }
	if (parseInt(navigator.appVersion) >= 4) { win.window.focus(); }
}