<!--
function replaceWindowURL( win, url )
{
    win.location.href = url;
}
//-->