function titel()
// functie voor het veranderen van de inhoud van de titel
{
if (document.all) { 
	parent.document.all.titel.innerHTML = document.title;
} else if (document.getElementById) {
				parent.document.getElementById('titel').innerHTML = document.title;
}
}

function scroll_it()
{
	current = (current == news.length) ? 0 : current+1;
	defaultStatus = news.substr(0, current)
		+ news.charAt(current).toUpperCase()
		+ news.substr(current+1, news.length);
	setTimeout("scroll_it()", 100);
}