// JavaScript Document

		function popup_window(url, options) {
			  win = window.open(url, "popup", options);
		}	
		
