function open_window(url, name, param) {
	win = window.open(url, name, param);
}