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

/* Celkleur wisselaar */
function changeBgColor(tr,color)
{
	if (document.getElementById)
	{
	var o = document.getElementById(tr);
	if (o != null) o.style.backgroundColor = color;
	}
}