var agt = navigator.userAgent.toLowerCase();

// fix that pesky document.all once and for, well, all...
if(document.all && !document.getElementById) {
    document.getElementById = function(id) {
         return document.all[id];
    }
}

function setSkin(str){
	var sf = document.getElementById("skinForm");
	sf.siteStyle.value = str;
	sf.submit();
}

function makemail(cl,label,user,dom,suf,subj){
	var subText = "";
	if(subj != null){
		subText = "?subject="+subj;
	}
	document.write('<a href="' + 'mailto:' + user + '@' + dom + '.' + suf + subText + '" class=' + cl + '>' + label + '</a>');
}