function changeTitle( title )
{
	if( title != '' )
		document.title = "PeterCompernolle.com - " + title;
	else document.title = "PeterCompernolle.com";
}