function resizePopup(w,h,f=document.getElementByID('popup')){
	document.getElementById('popup_shell').resizeTo(w,h);
	f.focus();
}