// popup window for zoom windows
	var top = screen.height / 4
	var left = screen.width / 4
	function disp_bigger( id ){
		winpops=window.open( id, 'enlarge', 'width=920, height=900, scollbars=yes, resizable=yes, top=' + top + ', left=' + left + '')
	}