// Opens a URL in a new window to avoid HTML invalidity when using _blank
function openUrl(url)
{
	window.open(url);
	return false;
}