function doeFramecheck() {
if(top.name != '') {
	var locatie = top.name;
	mainframe.location.href = locatie;
	top.name = '';
	}
}