if (navigator.appName.indexOf("Microsoft") == -1){ 
	// Reescreve a tag href do FF para ele dar refresh quando muda somente ancora. J.S. & F.D. 22/12/06
	tagA = document.getElementsByTagName('a');
	for(i=0; i < tagA.length; i++){
		if(tagA[i].href.indexOf('#')!=-1){
			aURL = tagA[i].href.substring(0, tagA[i].href.indexOf('#'));
			hURL = tagA[i].href.substring(tagA[i].href.indexOf('#'),tagA[i].href.length);
			tagA[i].href = aURL+'?'+Math.random()+hURL;
			tagA[i].target = '_top';
		}
	}
}

/* ajusta altura do "mais discussoes"
 parent.document.onload = function() {
	parent.document.getElementById("menu-historico").style.height = document.body.scrollHeight+10;
}

parent.document.getElementById("menu-historico").style.height = document.body.scrollHeight+10;

*/