function wopen(url, name, w, h) {
	// Fudge factors for window decoration space.
	w += 32;
	h += 96;
	var win = window.open(url, name,
				'width=' + w + ', height=' + h + ', ' +
				'location=no, menubar=no, ' +
				'status=no, toolbar=no, scrollbars=yes, resizable=no');
	win.resizeTo(w, h);
	win.focus();
}