// Pop up a new window on the URL given by loc.
function popup(url, width, height)
{
	if (!width) width = 800;
	if (!height) height = 500;
	window.open(url,
				'',
				'width='+ width +
				',height='+ height +
				',scrollbars=yes,resizable=yes,status=no,location=no,menubar=no')
}