var IE = (navigator.appName == "Microsoft Internet Explorer") ? 1 : 0;
var NS = (navigator.appName == "Netscape") ? 1 : 0;

function SetTitle() { top.document.title=document.title; }

if (IE) { top.document.title=document.title; }