// opens a new sized window.
function zoomer(target, width, height)
{
	var pane = window.open('', target, 'width='+(width*1+20)+', height='+(height*1+20)+', location=no');
	if (pane) pane.focus();
}