function open_window(url, width, height){ 
	window.open( url, "_blank", "plain, width=" + width + ", height=" + height ); 
}