function setActive(page) {
	if ( top.north != null ) {		// probleem kan zich voordoen bij het tonen van de frameset in een andere frameset
		top.north.location= page;
	}
}