if (top != self) { top.location.href = location.href; }

function setTitle()
{
	if(document.getElementById("header"))
	{
		document.title = "L U D O M A R · [ " + document.getElementById("header").innerHTML + " ]";
	}
}