UNKNOWN {
	COLOR: #ff0000
}
UNKNOWN {
	DISPLAY: none
}
UNKNOWN {
	window: boodschap; timerID: setTimeout("dgstatus()", 25)
}