//winopen.js
function disp(url){
	window.open(url, "newWin", "width=950,height=700,scrollbars=yes");
}