// <!-- Open external links in a new tab/window

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

// -->