<!--
function chgURL(ps_URL)
{
	if (ps_URL != null)
	{
		window.location = ps_URL;
	}
}
-->