function openUrl(a_url)
{
	document.location.href = a_url;
}