function HM_f_JumpTo(url)
{
	if (window.PAG_JumpTo)
	{
		PAG_JumpTo(url);
		return;
	}
	
	var s = url.toString();
	if	(s.indexOf('%New_Window%') != -1)
	{
		url = s.replace('%New_Window%', '');
		window.open(url, '_blank');
	}
	else
		document.location.href = url;
}