function redir(url) {var a=navigator.userAgent.toLowerCase(),l=location; if(a.indexOf('mac')>=0&&a.indexOf('msie')>=0)l.href=url; else l.replace(url); self.focus()}