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