function addEventListener(element, event, listener){
        if (element.addEventListener){
                element.addEventListener(event, listener, false);
        } else if (element.attachEvent){
                element.attachEvent('on'+event, listener);
        }
}
 
function page_re_writer(){
        var doc=top.frames[3].document;
        var url=doc.location.href;
       //your customizations go here
}
 
addEventListener(top.document.getElementById("main"), "load", page_re_writer);