var titles = document.getElementsByTagName("h1");
if(titles.length>0){ 
	document.title = "Ratfactor - " + titles[0].firstChild.nodeValue; 
}