function title()
{
  temp_titel = new Array();
  
  	if (document.getElementsByTagName("h1")[0])
	{
  		titel = document.getElementsByTagName("h1")[0].innerHTML;

	
		temp_titel = titel.split(" ");
	
		for (j=0;j<temp_titel.length-1;j++)
		{

			if (temp_titel[j] == "Remissio®")
			{
				temp_titel[j] = "Remissio<sup>®</sup>";
			}
		}		
		titel = temp_titel.join(" ");
		//	alert (titel);
		document.getElementsByTagName("h1")[0].innerHTML = titel;
	}
}