function doRedir(url)
{
    try {
        window.location.href = url;
        if(document.all) {
            window.event.returnValue=false;
        }
    } catch(e) {
        alert(e);
    }
}