<!--

function openExternalLink(url) {
	window.open(url);
}
  
//-->