function launch (url) {
	window.open(url);
}