<!--
function locationReplace (MyURL)
{
 if (isJavaScript12)
  if (isDOM)
   location.replace(MyURL);
}
//-->